Big Step Normalisation for Type Theory - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thorsten Altenkirch, Colin Geniet. Big Step Normalisation for Type Theory. In Marc Bezem, Assia Mahboubi, editors, 25th International Conference on Types for Proofs and Programs, TYPES 2019, June 11-14, 2019, Oslo, Norway. Volume 175 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]

This author has not been identified. It may be one of the following persons:

Thorsten Altenkirch

Look up 'Thorsten Altenkirch' in GoogleThis author has not been identified. Look up 'Colin Geniet' in Google

runs on WebDSL