While loops and programs [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]
2011 · PDF
The topos of actions on a monoid [expository notes]
2003 · PDF
Domains for recursion [expository notes]
2003 · PDF
The tensor product of commutative monoids [expository notes]
2004 · PDF
Forms of recursion and induction [expository notes]
2004 · PDF