OXFORD UNIVERSITY COMPUTING LABORATORY

Fully Complete Minimal PER Models for the Simply Typed λ-calculus

S. Abramsky and M. Lenisa

info

book title

CSL 2001 Conference Proceedings

pages

442-457

series

Springer LNCS

volume

2142

year

2001

links

BibTeX

Download (ps)

related pages

people

Random Image
Random Image
Random Image