Universität Bremen  
  FB 3  
  Group BKB > Publications > Search > Deutsch
English
 

Publications Search - Details
 
Publication type: Article in Proceedings
Author: Lutz Schröder
Editor: Matthias Baaz, Johann Makowsky
Title: Henkin models of the partial λ-calculus
Book / Collection title: Computer Science Logic
Volume: 2803
Page(s): 498 – 512
Series: Lecture Notes in Computer Science
Year published: 2003
Publisher: Springer, Berlin
Abstract: 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
Keywords: HasCASL partial lambda-calculus Henkin models partial cartesian closed categories
Status: Reviewed
Last updated: 22. 06. 2005

 Back to result list
  
   
Author: Automatically generated page 		 
  Group BKB 
Last updated: May 9, 2023   impressum