Data di Pubblicazione:
2015
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
Bucciarelli A.; Kesner D.; Ronchi Della Rocca S.
Link alla scheda completa:
Link al Full Text:
Titolo del libro:
Typed Lambda Calculus and Applications
Pubblicato in: