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

Settore MAT/01 - Logica Matematica
Settore INF/01 - Informatica
Book Part (author)
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

Caricamento pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/2434/212764
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 13
  • ???jsp.display-item.citation.isi??? ND
social impact