[TYPES] Implementations using explicit substitutions

Carsten Schuermann carsten at itu.dk
Wed Jan 6 08:13:37 EST 2010


Dear colleagues,

We are currently writing a paper on explicit substitution calculi, and we
would like to include references to implementations of proof
assistants, theorem provers, and programming languages that use them.  

If you are aware of any such system please send us an email. 

Best regards,
-- Anders Schack-Nielsen and Carsten Schuermann



More information about the Types-list mailing list