Skip to Main Content (Press Enter)

Logo UNITO
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione

UNI-FIND
Logo UNITO

|

UNI-FIND

unito.it
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione
  1. Pubblicazioni

Strong Normalization of the Dual Classical Sequent Calculus

Contributo in Atti di convegno
Data di Pubblicazione:
2005
Abstract:
We investigate some syntactic properties of Wadler’s dual calculus, a term calculus which corresponds to classical sequent logic in the same way that Parigot’s lambda mu calculus corresponds to classical natural deduction. Our main result is strong normalization theorem for reduction in the dual calculus; we also prove some confluence results for the typed and untyped versions of the system.
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
S. GHILEZAN; S. LIKAVEC; P. LESCANNE; D. DOUGHERTY
Link alla scheda completa:
https://iris.unito.it/handle/2318/28867
Link al Full Text:
https://iris.unito.it/retrieve/handle/2318/28867/178804/dgll-lpar05_4aperto.pdf
Titolo del libro:
Lecture Notes in Computer Science
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series
  • Dati Generali

Dati Generali

URL

http://www.springerlink.com/content/7658044101631746/
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.6.1.0