A Mechanized Translation from Higher-Order Logic to Set Theory - Sciweavers

41

click to vote

more ITP 2010 ...

www4.in.tum.de

Tweet