Modèle cohérent des réseaux de preuve
- 1 March 1994
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 33 (2) , 131-158
- https://doi.org/10.1007/bf01352934
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- The geometry of optimal lambda reductionPublished by Association for Computing Machinery (ACM) ,1992
- Linear logicTheoretical Computer Science, 1987