GitHub repository: lanrete-den/Lezioni-sul-lambda-calcolo
Primary language: TeX
Created: 2018-01-10T18:04:22Z
Description: Questo è un progetto di traduzione delle note del professor P.Selinger sul lambda-calcolo.