Henkin models of the partial λ-calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2803, Issue , 2003, Pages 498-512

  Schröder, Lutz ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATIONAL MECHANICS; DIFFERENTIATION (CALCULUS); FUNCTIONAL PROGRAMMING; SEMANTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS;

ALGEBRAIC SPECIFICATION LANGUAGES; CATEGORICAL MODEL; ELEMENT CONSTRUCTION; HIGHER-ORDER; LAMBDA CALCULUS; THEORETIC SEMANTICS;

CALCULATIONS;

EID: 21144456367     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45220-1_40     Document Type: Article

References (24)

1. J. Adámek, H. Herrlich, and G. E. Strecker, Abstract and concrete categories, Wiley Interscience, 1990.
2. E. Astesiano, M. Bidoit, H. Kirchner, B. Krieg-Brückner, P. D. Mosses, D. Sannella, and A. Tarlecki, CASL: the Common Algebraic Specification Language, Theoret. Comput. Sci. 286 (2002), 153-196.
3. V. Breazu-Tannen and A. R. Meyer, Lambda calculus with constrained types, Logic of Programs, LNCS, vol. 193, Springer, 1985, pp. 23-40.
4. M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hussmann, D. Nazareth, F. Regensburger, and K. Stølen, The requirement and design specification language SPECTRUM, an informal introduction, version 1.0, Tech. report, Department of Informatics, Technical University of Munich, 1993.
5. P. Burmeister, Partial algebras -an introductory survey, Algebras and Orders (I. G. Rosenberg and G. Sabidussi, eds.), NATO ASI Series C, Kluwer, 1993, pp. 1-70.
6. P.-L. Curien and A. Obtulowicz, Partiality, cartesian closedness and toposes, Inform. and Comput. 80 (1989), 50-95.
7. C. George, P. Haff, K. Havelund, A. E. Haxthausen, R. Milne, C. Bendix Nielson, S. Prehn, and K. R. Wagner, The Raise Specification Language, Prentice Hall, 1992.
8. L. Henkin, Completeness in the theory of types, J. Symbolic Logic 15 (1950), 81-91.
9. K. Hoffmann and T. Mossakowski, Algebraic higher order nets: Graphs and Petri nets as tokens, 16th Workshop on Algebraic Development Techniques (WADT 02), LNCS, 2003, to appear.
10. B. Jacobs, Categorical logic and type theory, Elsevier, Amsterdam, 1999.
11. J. Lambek and P. J. Scott, Introduction to higher order categorical logic, Cambridge University Press, 1986.
12. S. Mac Lane, Categories for the working mathematician, 2nd ed., Springer, 1998.
13. J. C. Mitchell and P. J. Scott, Typed lambda models and cartesian closed categories, Categories in Computer Science and Logic, Contemp. Math., vol. 92, AMS, 1989, pp. 301-316.
14. E. Moggi, Categories of partial morphisms and the λ-calculus, Category Theory and Computer Programming, LNCS, vol. 240, Springer, 1986, pp. 242-251.
15. _, The partial lambda calculus, Ph.D. thesis, University of Edinburgh, 1988.
16. E. Robinson and G. Rosolini, Categories of partial maps, Inform. and Comput. 79 (1988), 95-130.
17. G. Rosolini, Continuity and effectiveness in topoi, Ph.D. thesis, Merton College, Oxford, 1986.
18. ∼lschrode/hascasl/hoclasscat.ps
19. _, Classifying categories for partial equational logic, Category Theory and Computer Science (CTCS 02), ENTCS, vol. 69, 2003.
20. L. Schröder and T. Mossakowski, HASCASL: Towards integrated specification and development of functional programs, Algebraic Methodology And Software Technology, LNCS, vol. 2422, Springer, 2002, pp. 99-116.
21. L. Schröder and T. Mossakowski, Monad-independent dynamic logic in HASCASL, 16th Workshop on Algebraic Development Techniques (WADT 02), LNCS, 2003, to appear.
22. L. Schröder and T. Mossakowski, Monad-independent Hoare logic in HASCASL, Fundamental Approaches to Software Engineering, LNCS, vol. 2621, Springer, 2003, pp. 261-277.
23. D. Scott, Continuous lattices, Toposes, Algebraic Geometry and Logic, Lect. Notes Math., vol. 274, Springer, 1972, pp. 97-136.
24. _, Relating theories of the λ-calculus, To H.B. Curry: Essays in Combinatory Logic, Lambda Calculus and Formalisms, Academic Press, 1980, pp. 403-450.