Data di Pubblicazione:
1995
Abstract:
The denotational semantics of the call-by-value lambda-calculus in a categorical setting is given. Furthermore, a particular model based o coherence domains is studied.
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
PRAVATO A.; S. RONCHI DELLA ROCCA; ROVERSI L.
Link alla scheda completa:
Titolo del libro:
Typed Lambda Calculi and Applications
Pubblicato in: