20 search results - page 1 / 4 » Continuous semantics for strong normalisation |
115
Voted
MSCS
2006
15 years 6 months ago
2006
161
Voted
TLCA
2007
Springer
16 years 14 days 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 ...
129
Voted
CIE
2005
Springer
15 years 12 months ago
2005
Springer
159
Voted
ISEMANTICS
2010
15 years 7 months 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...
170
Voted
FSTTCS
1993
Springer
15 years 10 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...