<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2010-12-15 21:36:48Category theory Models of computation Adjoint functors Functional programming Logic in computer science Denotational semantics Lambda calculus Cartesian closed category Sheaf F-algebra Kleisli category Monad |
Add to Reading List |
A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c
![SOLUZIONI DELL’ESAME DI ALGEBRA 3, Esercizio 1. Si consideri il polinomio f (X) := X 7 − 13 ∈ Q [X]. (a) Si presenti il suo campo di spezzamento E (su Q) nella forma E = Q (α, β) per opportuni α, β](https://www.pdfsearch.io/img/60b7bc5187a246199fff59a7408acab9.jpg "SOLUZIONI DELL’ESAME DI ALGEBRA 3, Esercizio 1. Si consideri il polinomio f (X) := X 7 − 13 ∈ Q [X]. (a) Si presenti il suo campo di spezzamento E (su Q) nella forma E = Q (α, β) per opportuni α, β")