L. Lamban - Academia.edu (original) (raw)
Uploads
Papers by L. Lamban
… , 5-6-7 de julio de …, 1995
Localización: VI Encuentros de Geometría Computacional: Barcelona, 5-6-7 de julio de 1995, Depart... more Localización: VI Encuentros de Geometría Computacional: Barcelona, 5-6-7 de julio de 1995, Departament de Matemàtica Aplicada II, Universitat Politècnica de Catalunya: Actas/coord. por Marc Noy Serrano, Carlos Seara, Mercé Claverol, M. del Roser Guardia ...
Logic Journal of IGPL, 2014
… , Algorithms, Proofs. T. …, 2005
Abstract. The aim of this work is to present an ongoing project to for-malize, in the framework o... more Abstract. The aim of this work is to present an ongoing project to for-malize, in the framework of diagrammatic logic (due to Dominique Duval and Christian Lair) some data structures appearing in Sergeraert's sym-bolic computation systems Kenzo and EAT. More precisely, we ...
Applicable Algebra in Engineering, Communication and Computing, 2003
Abstract. In a previous paper we characterized, in the Category Theory setting, a class of implem... more Abstract. In a previous paper we characterized, in the Category Theory setting, a class of implementations of Abstract Data Types, which has been suggested by the way of programming in the EAT system. (EAT, Effective Algebraic Topology, is one of Sergeraert's systems for effective ...
… , 5-6-7 de julio de …, 1995
Localización: VI Encuentros de Geometría Computacional: Barcelona, 5-6-7 de julio de 1995, Depart... more Localización: VI Encuentros de Geometría Computacional: Barcelona, 5-6-7 de julio de 1995, Departament de Matemàtica Aplicada II, Universitat Politècnica de Catalunya: Actas/coord. por Marc Noy Serrano, Carlos Seara, Mercé Claverol, M. del Roser Guardia ...
… , 5-6-7 de julio de …, 1995
Localización: VI Encuentros de Geometría Computacional: Barcelona, 5-6-7 de julio de 1995, Depart... more Localización: VI Encuentros de Geometría Computacional: Barcelona, 5-6-7 de julio de 1995, Departament de Matemàtica Aplicada II, Universitat Politècnica de Catalunya: Actas/coord. por Marc Noy Serrano, Carlos Seara, Mercé Claverol, M. del Roser Guardia ...
Logic Journal of IGPL, 2014
… , Algorithms, Proofs. T. …, 2005
Abstract. The aim of this work is to present an ongoing project to for-malize, in the framework o... more Abstract. The aim of this work is to present an ongoing project to for-malize, in the framework of diagrammatic logic (due to Dominique Duval and Christian Lair) some data structures appearing in Sergeraert's sym-bolic computation systems Kenzo and EAT. More precisely, we ...
Applicable Algebra in Engineering, Communication and Computing, 2003
Abstract. In a previous paper we characterized, in the Category Theory setting, a class of implem... more Abstract. In a previous paper we characterized, in the Category Theory setting, a class of implementations of Abstract Data Types, which has been suggested by the way of programming in the EAT system. (EAT, Effective Algebraic Topology, is one of Sergeraert's systems for effective ...
… , 5-6-7 de julio de …, 1995
Localización: VI Encuentros de Geometría Computacional: Barcelona, 5-6-7 de julio de 1995, Depart... more Localización: VI Encuentros de Geometría Computacional: Barcelona, 5-6-7 de julio de 1995, Departament de Matemàtica Aplicada II, Universitat Politècnica de Catalunya: Actas/coord. por Marc Noy Serrano, Carlos Seara, Mercé Claverol, M. del Roser Guardia ...