www.cs.ox.ac.uk/publications/publication872-abstract.html

You are here:

• Home
• Research
• Publications
• Extended version of the TLCA07 paper on the Safe Lambda Calculus

Extended version of the TLCA07 paper on the Safe Lambda Calculus

William Blum and C.−H. Luke Ong.

Details

Year

2007

Links

BibTeX

Download  (pdf)

Related pages