Get the Numbering Matters First-Order Canonical Forms for Second - cristal inria

Description
Numbering Matters: FirstOrder Canonical Forms for SecondOrder Recursive Types Nadji Gauthier INRIA Nadji.Gauthier inria.fr Abstract We study a type system equipped with universal types and equirecursive
Fill & Sign Online, Print, Email, Fax, or Download
Get Form
  • Get Form
  • eSign
  • Fax
  • Email
  • Add Annotation
  • Share
Fill Online
Rate free

4.0

Satisfied

53

 Votes