Explore
Upload

DocSlides is a free service to upload presentations and documents.

Upload Now

Search Results for 'Proofscannotonlybediscardeddur Ingprogramextractionbutdirectlyaftertypechecking'

Proofscannotonlybediscardeddur Ingprogramextractionbutdirectlyaftertypechecking published presentations and documents on DocSlides.

IrrelevanceinTypeTheorywithaHeterogeneousEqualityJudgementAndreasAbelD

IrrelevanceinTypeTheorywithaHeterogeneousEqualityJudgementAndreasAbelD

  • briana-ranney
  • 19 Slides

(provingthattwoproofsareequal).Furthermore,proofsc...

Copyright © 2024 DocSlides. All Rights Reserved