20 search results - page 1 / 4 » Continuous semantics for strong normalisation |
MSCS
2006
13 years 11 months ago
2006
TLCA
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. The intuitionistic fragment of the call-by-name version of Curien and Herbelin’s λµ˜µ-calculus is isolated and proved strongly normalising by means of an embedding ...
CIE
2005
Springer
14 years 4 months ago
2005
Springer
ISEMANTICS
2010
14 years 18 days ago
2010
Abstract. SIOC provides the Semantic Web with a vocabulary for representing the state of online communities at a given time. However, a number of web application put a strong empha...
FSTTCS
1993
Springer
14 years 3 months ago
1993
Springer
This paper will show the usefulness and elegance of strict intersection types for the Lambda Calculus; these are strict in the sense that they are the representatives of equivalen...