The l-calculus in the p-calculus
Xiaojuan Cai, Yuxi Fu
págs. 943-996
Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables
Murdoch J. Gabbay
págs. 997-1033
Dagger extension theorem
Zoltán Esik, T. Hajgató
págs. 1035-1066
inal coalgebras in accessible categories
Panagis Karazeris, Apostolos Matzaris, Jirí Velebil
págs. 1067-1108
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: