×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
ruy-de-queiroz documents
Science
Propositional Equality, Identity Types and Reversible Rewriting Sequences as Homotopies
Technology
Propositional Equality and Identity Types
Science
Reviewing Frege's techniques for formalising functions as rules
Science
Propositional Equality, Identity Types and Homotopies
Science
Propositional Equality, Identity Types and Homotopies
Documents
WoLLIC’2002
Documents
Preface
Documents
Preface
Documents
Logic, Language, Information and Computation
Documents
Preface: Volume 84
Documents
Logic, Language, Information, and Computation - WoLLIC 2011
Technology
Cibersegurança no Contexto de Prontuários Médicos Eletrônicos
Science
Propositional Equality, Identity Types and Computational Paths