Main menu
You are here
A Compact Goal-Independent Bottom-Up Fixpoint Modeling of the Behaviour of First Order Curry
, “A Compact Goal-Independent Bottom-Up Fixpoint Modeling of the Behaviour of First Order Curry”. Dipartimento di Matematica e Informatica, Università di Udine, 2010.