"Typed Lambda Calculi and Applications, International Conference on Typed ..."

Marc Bezem, Jan Friso Groote (1993)

Details and statistics

DOI: 10.1007/BFB0037093

access: closed

type: Editorship

metadata version: 2019-05-14