8021 search results - page 30 / 1605 » A Type System for Tom |
185
click to vote
WOLLIC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The λ-calculus with de Bruijn indices, called λdB, assembles each α-class of λ-terms into a unique term, using indices instead of variable names. Intersection types p...
153
Voted
TCS
2008
15 years 4 months ago
2008
Interpretation and Types for Systems Biology Fran
236
Voted
POPL
2001
ACM
16 years 5 months ago
2001
ACM
We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial propert...
137
Voted
APAL
2007
15 years 5 months ago
2007
In this paper we consider a type system with a universal type ω where any term (whether open or closed, β-normalising or not) has type ω. We provide this type system with a rea...
157
click to vote
TLCA
2007
Springer
15 years 11 months ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...