A Shallow Embedding of Pure Type Systems into First-Order Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lukasz Czajka 0001. A Shallow Embedding of Pure Type Systems into First-Order Logic. In Silvia Ghilezan, Herman Geuvers, Jelena Ivetic, editors, 22nd International Conference on Types for Proofs and Programs, TYPES 2016, May 23-26, 2016, Novi Sad, Serbia. Volume 97 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]

This author has not been identified. Look up 'Lukasz Czajka 0001' in Google

runs on WebDSL