Semantical analysis of higher-order abstract syntax | IEEE Conference Publication | IEEE Xplore
Subscribe
ADVANCED SEARCH
Conferences >Proceedings. 14th Symposium o...

Semantical analysis of higher-order abstract syntax

PDF
M. Hofmann
All Authors

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 More

Metadata

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.
Published in: Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158)
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
DOI: 10.1109/LICS.1999.782616
Conference Location: Trento, Italy

Contact IEEE to Subscribe

References

References is not available for this document.

IEEE Account

Purchase Details

Profile Information

Need Help?

A not-for-profit organization, IEEE is the world's largest technical professional organization dedicated to advancing technology for the benefit of humanity.
© Copyright 2025 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.