Jose Espirito Santo
Ralph Matthes
Luis Pinto
Year of publication: 2009
Issue: Special issue: Selected papers of the conference ``Typed Lambda Calculi and Applications 2007''
Pages: 2:11, 36
Other: MR2507125 (2010d:03021)
URL: https://doi.org/10.2168/LMCS-5(2:11)2009
DOI: 10.2168/LMCS-5(2:11)2009
