Domains for recursion [expository notes]
Book information
Similar books
An Introduction to Category Theory
2011 · PDF
Derivation and Computation: Taking the Curry-Howard Correspondence Seriously
2000 · PDF
ANALYSIS AND EVALUATION OF THE JOB OF THE STATE SUPERVISOR OF TRADE AND INDUSTRIAL EDUCATION
![An Introduction to Category Theory [Solution Manual]](https://sensemedia.org/covers/1611000/091fbbad904881350c58858d8a0edcdb-d.jpg)
An Introduction to Category Theory [Solution Manual]
2011 · PDF
![The topos of actions on a monoid [expository notes]](https://sensemedia.org/covers/1586000/51870d39fd5f7a5736cf6d12f76f1888-g.jpg)
The topos of actions on a monoid [expository notes]
2003 · PDF
![While loops and programs [expository notes]](https://sensemedia.org/covers/1586000/7bd26db020ce7e2f9eafbddd74c8a2fa-g.jpg)
While loops and programs [expository notes]
2003 · PDF
![The tensor product of commutative monoids [expository notes]](https://sensemedia.org/covers/1586000/fd1d94b2795b6e1b9cd504c9f69eec7a-g.jpg)
The tensor product of commutative monoids [expository notes]
2004 · PDF
![Forms of recursion and induction [expository notes]](https://sensemedia.org/covers/1586000/20f06fbc002adc92a4fef7951a1e397a-g.jpg)
Forms of recursion and induction [expository notes]
2004 · PDF