Partial Morphisms in Categories of Effective Objects (1996)

Cached

Download Links

by Eugenio Moggi
Citations:2 - 0 self

Documents Related by Co-Citation

3 Sorts and Types of ��-Calculus, a manuscript – R Milner - 1990
1 Call-by-value games, a typescript, 12p – S Abramsky, G McCusker - 1997
1 Dialogue games as a foundation for intuitionistic logic – W Felshcer - 1986
1 Linear foundations of game semantics, a typescript – R Harmer, P Malacaria - 1996
1 Name-Passing Games: a functional universe, a typescript, 35p – K Honda, N Yoshida - 1996
1 Cartesian closed categories of enumarations for effective type-structures, LNCS 173 – G Longo, E Moggi - 1984
1 Correspondence between Operational Semantics and Denotational – L Ong - 1995
6 Relating full abstraction results for different programming languages – K Sieber - 1990
4 Games and abstract machines – V Danos, H Herbelin, L Regnier - 1996
34 An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC – Marcelo P. Fiore, Gordon D. Plotkin - 1994
17 Definability and full abstraction – Pierre-Louis Curien
62 Axiomatic Domain Theory in Categories of Partial Maps – M P Fiore - 1994
28 Lectures on Predomains and Partial Functions. Notes for a course at CSLI – G D Plotkin - 1985
14 Domaines concrets – G Kahn, G Plotkin - 1978
110 Fully abstract models of typed lambda calculi – R Milner - 1977
131 A game semantics for linear logic – A Blass
239 Formal Semantics of Programming Languages – Glynn Winskel
92 Algebraically complete categories – P Freyd - 1990
192 Full Abstraction for PCF – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1996