Cut elimination in categories

Detalles Bibliográficos
Autor principal: Došen, Kosta
Lenguaje:eng
Publicado: Springer 1999
Materias:
Mathematical Physics and Mathematics
Acceso en línea:https://dx.doi.org/10.1007/978-94-017-1207-1
http://cds.cern.ch/record/1620713

Internet

https://dx.doi.org/10.1007/978-94-017-1207-1
http://cds.cern.ch/record/1620713

Ejemplares similares