Propositional Equality, Identity Types and Reversible Rewriting Sequences as Homotopies

Propositional Equality and Identity Types

Reviewing Frege's techniques for formalising functions as rules

Propositional Equality, Identity Types and Homotopies

Propositional Equality, Identity Types and Homotopies

WoLLIC’2002

Preface

Preface

Logic, Language, Information and Computation

Preface: Volume 84

Logic, Language, Information, and Computation - WoLLIC 2011

Cibersegurança no Contexto de Prontuários Médicos Eletrônicos

Propositional Equality, Identity Types and Computational Paths