Pawel Urzyczyin
- Pure type systems and the λ-cube
2006/01/01 by Morten Heine Sørensen, Pawel Urzyczyin · 1 citation
Computer Science · Mathematics · #Computer science #Cube (algebra) #Formal Methods in Verification #Geology #Geometry #Logic, programming, and type systems #Mathematics #Paleontology #Petri Nets in System Modeling #Type (biology)