Summary: 



Decidable Equality in a Logical Framework with


Sigma Kinds



Robin Adams


November 3, 2004



1 Introduction

Source: Adams, Robin - Department of Computer Science, Royal Holloway, University of London

Collections: Computer Technologies and Information Sciences