The sensible graph theories of lambda calculus (2004)

Cached

Download Links

by Antonio Bucciarelli , Antonino Salibra
Venue:IN: 19TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS’04), IEEE COMPUTER
Citations:12 - 8 self