Numbering matters: first-order canonical forms for second-order recursive types.

Nadji Gauthier François Pottier

Published in: ICFP (2004)

Keyphrases

higher order
recursive functions
first order logic
website
databases
pairwise
hidden markov models
knowledge representation
hessian matrix