Travelled to:1 × Italy
1 × United Kingdom
Collaborated with:∅ A.Salvesen
Talks about:type (3) theori (2) strength (1) subset (1) martin (1) slash (1) kleen (1) exist (1) valu (1) term (1)
Person: Jan M. Smith
DBLP: Smith:Jan_M=
Contributed to:
1992
1988Wrote 2 papers:
- CSL-1992-Smith #type system
- Kleene’s Slash and Existence of Values of Open Terms in Type Theory (JMS), pp. 395–402.
- LICS-1988-SalvesenS #set #type system
- The Strength of the Subset Type in Martin-Löf’s Type Theory (AS, JMS), pp. 384–391.