Primitive Recursion for Higher-Order Abstract Syntax

Primitive Recursion for Higher-Order Abstract Syntax (1997)

by Joëlle Despeyroux , Frank Pfenning

Venue:	Theoretical Computer Science
Citations:	117 - 24 self

Datum	Value	Source
TITLE	Primitive Recursion for Higher-Order Abstract Syntax	INFERENCE
AUTHOR NAME	Joëlle Despeyroux	SVM HeaderParse 0.2
AUTHOR ADDR	1 INRIA, F-06902 Sophia-Antipolis Cedex, France	SVM HeaderParse 0.2
AUTHOR NAME	Frank Pfenning	SVM HeaderParse 0.2
AUTHOR ADDR	1 INRIA, F-06902 Sophia-Antipolis Cedex, France	SVM HeaderParse 0.2
YEAR	1997	INFERENCE
VENUE	Theoretical Computer Science	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	147--163	INFERENCE
VOLUME	1210	INFERENCE
TECH	Technical Report CMU-CS-96-172	INFERENCE
CITATIONS	22 found	ParsCit 1.0