Autosubst 2: Reasoning with de Bruijn Terms and Substitutions

POPL 2020

Autosubst 2: Reasoning with de Bruijn Terms and Substitutions

Sep 17, 2020
|
29 views
Details
Presenter: Kathrin Stark Presented at CoqPL'20, part of POPL 2020.

Comments
loading...