.
Review Essay: A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language (Gabbay, Michael. J. Symbolic Logic 76 (2011), no. 2, 673–699) / P. Minari. - In: MATHEMATICAL REVIEWS. - ISSN 0025-5629. - ELETTRONICO. - 2012f:03019:(2012), pp. MR2830422-MR2830422.
Review Essay: A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language (Gabbay, Michael. J. Symbolic Logic 76 (2011), no. 2, 673–699).
MINARI, PIERLUIGI
2012
Abstract
.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.