Resource Combinatory Algebras.

Alberto Carraro, Thomas Ehrhard, Antonino Salibra

Browse the full MFCS paper archive.