An untyped lambda-calculus generalizing Call-By-Name and Call-By-Value

Carte non disponible
Speaker Home page :
Speaker :
Speaker Affiliation :

()

Date/heure
Date(s) - 26/05/2016
11 h 00 min - 12 h 00 min

Catégories Pas de Catégories


TBA

Webpage« >Webpage


Retour en haut 

Secured By miniOrange