OXFORD UNIVERSITY COMPUTING LABORATORY

Extended version of the TLCA07 paper on the Safe Lambda Calculus

William Blum and C.-H. Luke Ong.

info

year

2007

links

BibTeX

Download (pdf)

related pages

people

Random Image
Random Image
Random Image