...
Analytic equational proof systems for Combinatory logic and λ-Calculus: a survey / pierluigi minari. - STAMPA. - (2019), pp. 235-253.
Analytic equational proof systems for Combinatory logic and λ-Calculus: a survey
pierluigi minari
2019
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.