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

Cached

Download Links

by Samson Abramsky , Marina Lenisa
Venue:CSL'01, LNCS 2142
Citations:6 - 3 self