Active Bibliography

1 Categorical Logic – S. Abramsky, D. M. Gabbay, T. S. E. Maibaum (eds, Andrew M. Pitts, Andrew M. Pitts - 2001
12 Programming Metalogics with a Fixpoint Type – Roy Louis Crole, C Fl Roy Louis Crole, Prof E. Moggi - 1992
6 Non-Deterministic Extensions of Untyped λ-calculus – Ugo de'Liguoro, Adolfo Piperno - 1995
35 Semantic Lego – David Espinosa - 1995
1 The Varieties of Programming Language Semantics And Their Uses – Peter D. Mosses - 2001
14 Fixed Points and Extensionality in Typed Functional Programming Languages – Brian T. Howard - 1992
5 A SHEAF THEORETIC APPROACH TO MEASURE THEORY – Matthew Jackson - 2006
9 On the Role of Category Theory in the Area of Algebraic Specifications – H. Ehrig, M. Große-Rhode, U. Wolter - 1996
Non-Deterministic untyped λ-calculus -- A study about explicit non determinism in higher-order functional calculi – Ugo de' Liguoro - 1991
456 Comprehending Monads – Philip Wadler - 1992
20 Algebra of logic programming – Silvija Seres - 1999
2 Monad Transformers as Monoid Transformers – Mauro Jaskelioff
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
11 Axioms for Recursion in Call-by-Value – Masahito Hasegawa, Yoshihiko Kakutani - 2001
32 A Semantic analysis of control – James David Laird - 1998
2 Categorical and Graphical Models of Programming Languages – Ralf Schweimeier - 2001
39 Querying Nested Collections – Limsoon Wong - 1994
34 Compilation and Equivalence of Imperative Objects – Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen - 1998
4 A Categorical Interpretation of Landin's Correspondence Principle – Anindya Banerjee, David A. Schmidt - 1993