1 |
Krivine machines and higher-order schemes
|
|
|
|
In: https://hal.inria.fr/inria-00589407 ; [Research Report] 2011, pp.17 (2011)
|
|
BASE
|
|
Show details
|
|
2 |
Krivine machines and higher-order schemes
|
|
|
|
In: Krivine Machines and Higher-Order Schemes ; ICALP ; https://hal.archives-ouvertes.fr/hal-00570017 ; ICALP, 2011, Switzerland. pp.162-173 (2011)
|
|
BASE
|
|
Show details
|
|
|
|