Category Theory and the Simply-Typed lambda-Calculus (1996)

Cached

Download Links

by Alfio Martini , Alfio Martini
Citations:1 - 0 self

Active Bibliography

2 Elements of Basic Category Theory – Alfio Martini - 1996
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
20 Algebra of logic programming – Silvija Seres - 1999
Generic Accumulations for Program Calculation – Mauro Jaskelioff - 2004
2 Categorical and Graphical Models of Programming Languages – Ralf Schweimeier - 2001
4 A Categorical Interpretation of Landin's Correspondence Principle – Anindya Banerjee, David A. Schmidt - 1993
Categories for Imperative Semantics PLDG Seminar – Riccardo Pucella
3 A Denotational Approach to Measuring Complexity in Functional Programs – Kathryn Van Stone, Frank Pfenning, Dana Scott, Carl Gunter - 2003
27 Computational Comonads and Intensional Semantics – Stephen Brookes, Shai Geva - 1991
62 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
88 Categorical Logic – Andrew M. Pitts - 1995
ONTOLOGIES AND WORLDS IN CATEGORY THEORY: IMPLICATIONS FOR NEURAL SYSTEMS – unknown authors
Is Computer Programming a Science? – Hassan Aït-Kaci, Ffl The Von Neumann Model
ii ABSTRACT – Arash Shaban-nejad, Arash Shaban-nejad, A Framework, Analyzing Changes, Health Care Lexicons - 2010
4 Inductive Datatypes with Laws and Subtyping – A Relational Model – Theodorus Sebastiaan Voermans
2 Supporting Array Types in Monoid Comprehensions – Antonio Martinez Alcantara, Bill P. Buckles - 1998
1 Kind Theory – Joseph R. Kiniry - 2002
23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
6 A New Framework for Declarative Programming – Stacy E. Finkelstein, Peter Freyd, James Lipton - 2001