A terminating and confluent linear lambda calculus (2006)

Cached

Download Links

by Yo Ohta , Masahito Hasegawa
Venue:PROC. OF 17TH INT. CONFERENCE RTA 2006, VOLUME 4098 OF LECTURE NOTES IN COMPUTER SCIENCE
Citations:6 - 0 self