| Art der Veröffentlichung: |
Artikel in Konferenzband |
| Autor: |
Lutz Schröder |
| Herausgeber: |
Matthias Baaz, Johann Makowsky |
| Titel: |
Henkin models of the partial λ-calculus |
| Buch / Sammlungs-Titel: |
Computer Science Logic |
| Band: |
2803 |
| Seite(n): |
498 – 512 |
| Serie / Reihe: |
Lecture Notes in Computer Science |
| Erscheinungsjahr: |
2003 |
| Verleger: |
Springer, Berlin |
| Abstract / Kurzbeschreibung: |
We define (set-theoretic) notions of intensional Henkin model and syntactic $lambda$-algebra for Moggi's partial lambda-calculus. These models are shown to be equivalent to the originally described categorical models via the global element construction; the proof makes use of a previously introduced construction of classifying categories. The set-theoretic semantics thus obtained is the foundation of the higher order algebraic specification language HasCASL, which combines specification and functional programming.
|
| Internet: |
http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2803&spage=498 |
| PDF Version: |
http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2803&spage=498 |
| PostScript Version: |
http://www.informatik.uni-bremen.de/~lschrode/hascasl/henkinpl.ps |
| Schlagworte: |
HasCASL partial lambda-calculus Henkin models partial cartesian closed categories |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
22. 06. 2005 |
