External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory

Ernesto Copello, Alvaro Tasistro, Nora Szasz, Ana Bove, Maribel Fernández. Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory. Electronic Notes in Theoretical Computer Science, 323:109-124, 2016. [doi]

Authors

Ernesto Copello

This author has not been identified. Look up 'Ernesto Copello' in Google

Alvaro Tasistro

This author has not been identified. Look up 'Alvaro Tasistro' in Google

Nora Szasz

This author has not been identified. Look up 'Nora Szasz' in Google

Ana Bove

This author has not been identified. Look up 'Ana Bove' in Google

Maribel Fernández

This author has not been identified. Look up 'Maribel Fernández' in Google
runs on