A Lambda Calculus Satellite (Invited Talk).

Giulio Manzonetto

Browse the full FSCD paper archive.