Features
Sample
Community
JOIN FREE
X
DOCUMENT RESOURCES FOR EVERYONE
SEARCH
Documents tagged
anjolina de
Science
Propositional Equality, Identity Types and Reversible Rewriting Sequences as Homotopies
van den berg
ruy de queiroz
anjolina de
reversible
Talk given at "Encontro Brasileiro de Lógica" (EBL), 9 Apr 2014, LNCC, Petrópolis, RJ
Popular Categories
Travel
Documents
Technology
Software
Sports
Science
Marketing
Education
Food
Business
Relevant Tags
van den berg
ruy de queiroz
anjolina de
reversible