Boolean algebras for lambda calculus (2006)

Cached

Download Links

by G. Manzonetto , A. Salibra
Venue:21TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2006), IEEE COMPUTER
Citations:10 - 8 self