A definitional approach to primitive recursion over higher order abstract syntax / S.J. Ambler, R.L. Crole, A. Momigliano - In: Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding - MERLIN '03[s.l] : ACM, 2003. - ISBN 1581138008. - pp. 1-11 (( convegno Eighth ACM {SIGPLAN} International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, [10.1145/976571.976572].
A definitional approach to primitive recursion over higher order abstract syntax
A. Momigliano
Ultimo
2003
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
p1-ambler.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Dimensione
269.72 kB
Formato
Adobe PDF
|
269.72 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
