Statistical properties of simple types
M. Moczurad, J. Tyszkiewicz
págs. 575-594
On the number of fixed points of a combinator in lambda calculus
B. Intrigila
págs. 595-616
Elementary structures in process theory (1): Sets with renaming
K. Honda
págs. 617-663
© 2008-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: