Embedding Display Calculi into Logical Frameworks
Date
2000
Authors
Dawson, Jeremy
Gore, Rajeev
Journal Title
Journal ISSN
Volume Title
Publisher
Australian National University
Abstract
Description
Keywords
Citation
Collections
Source
AWCL-2000
Type
Conference paper