Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Λ-König model"'
Autor:
Ruoppolo, Domenico
La thèse contribue à l’étude du λ-calcul non-typé de Church, un système de réécriture dont la règle principale est la β-réduction (formalisant l’exécution d’un programme). Nous nous concentrons sur la sémantique dénotationnelle, l
Externí odkaz:
http://www.theses.fr/2016USPCD069/document
