Characterising Strongly Normalising Intuitionistic Sequent Terms

AuthID
P-004-4Z4
3
Author(s)
3
Editor(s)
Miculan, M; Scagnetto, I; Honsell, F
Document Type
Proceedings Paper
Year published
2008
Published
in TYPES FOR PROOFS AND PROGRAMS in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743
Volume: 4941, Pages: 85-99 (15)
Conference
International Conference on Types for Proofs and Programs (Types 2007), Date: MAY 02-05, 2007, Location: Cividale del Friuli, ITALY
Indexing
Publication Identifiers
Wos: WOS:000256868300006
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.