Abstract:
A functor category semantics for higher-order abstract syntax is proposed with the following aims: relating higher order and first order syntax, justifying induction prin...Show MoreMetadata
Abstract:
A functor category semantics for higher-order abstract syntax is proposed with the following aims: relating higher order and first order syntax, justifying induction principles, suggesting new logical principles to reason about higher-order syntax.
Date of Conference: 05-05 July 1999
Date Added to IEEE Xplore: 06 August 2002
Print ISBN:0-7695-0158-3
Print ISSN: 1043-6871
No metrics found for this document.
No metrics found for this document.
