Paper Info
Title
A Behavioural Model for Klop's Calculus
Abstract
A model characterising strong normalisation for Klop's extension of @l-calculus is presented. The main technical tools for this result are an inductive definition of strongly normalising terms of Klop's calculus and an intersection type system for terms of Klop's calculus.
Year
DOI
Venue
2007
10.1016/j.entcs.2006.07.026
Electr. Notes Theor. Comput. Sci.
Keywords
Field
DocType
klop's extension of λ -calculus,klop's extension of -calculus,behavioural model,inductive definition,intersection types,normalising term,main technical tool,strong normalisation,intersection types.,intersection type system,inverse limit lambda models
Discrete mathematics,Computer science,Calculus
Journal
Volume
ISSN
Citations 
169,
Electronic Notes in Theoretical Computer Science
2
PageRank 
References 
Authors
0.50
4
2
Name
Order
Citations
PageRank
Mariangiola Dezani-Ciancaglini11615193.57
Makoto Tatsuta211122.36