Reasoning About Object-Based Calculi in (Co)Inductive Type Theory and the Theory of Contexts
Journal of Automated Reasoning - Netherlands
doi 10.1007/s10817-006-9061-y
Full Text
Open PDFAbstract
Available in full text
Date
April 19, 2007
Authors
Publisher
Springer Science and Business Media LLC