.

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

.
2012
2012f:03019
MR2830422
MR2830422
P. Minari
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.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/654816
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact