You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 1 results:

BibTex

Filters: Author is Giovanni Bacci and Keyword is call-time choice semantics [Clear All Filters]

2010

G. Bacci and Comini, M., “A Compact Goal-Independent Bottom-Up Fixpoint Modeling of the Behaviour of First Order Curry”. Dipartimento di Matematica e Informatica, Università di Udine, 2010.