Open AccessMathematical Structures in Dependent Type Theory (Invited Talk)
Drops (schloss Dagstuhl – Leibniz Center For Informatics)Peer ReviewedAssia Mahboubi2021
The content you want is available to Zendy users.
Already have an account? Sign inHaving issues? Contact support