You are here

Home

Publications

Export 1 results:
Filters: Keyword is call-time choice semantics  [Clear All Filters]
Technical Report
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.

created with Drupal | customized by Giovanni Bacci