论文信息 - Categories of Partial Morphisms and the lambdap - Calculus - 字舞流文

Categories of Partial Morphisms and the lambdap - Calculus

Eugenio Moggi | E. Moggi

[1] M. Fourman. The Logic of Topoi , 1977 .

[2] D. Scott. Identity and existence in intuitionistic logic , 1979 .

[3] Giuseppe Longo,et al. Cartesian Closed Categories of Enumerations for Effective Type Structures (Part I & II) , 1984, Semantics of Data Types.

[4] H. Friedman. Equality between functionals , 1975 .

[5] Gordon D. Plotkin,et al. Call-by-Name, Call-by-Value and the lambda-Calculus , 1975, Theor. Comput. Sci..

[6] Adam Obtułowicz. The logic of categories of partial functions and its applications , 1986 .

[7] Peter Burmeister,et al. Partial algebras—survey of a unifying approach towards a two-valued model theory for partial algebras , 1982 .