Search Results for 'theunorderedpairsofelementsofaisthesetoid a a'
theunorderedpairsofelementsofaisthesetoid a a published presentations and documents on DocSlides.
it.Inthepresentpaperweintroducetheformalframeworktodothis,i.e.wegiveth
by liane-varnes
3ThisisconsistentwithVoevodsky'sunivalenceinterpre...
it.Inthepresentpaperweintroducetheformalframeworktodothis,i.e.wegiveth
by calandra-battersby
3ThisisconsistentwithVoevodsky'sunivalenceinterpre...