Normalization for Fitch-Style Modal Calculi

Fitch-style modal lambda calculi enable programming with necessity modalities in a typed lambda calculus by extending the typing context with a delimiting operator that is denoted by a lock. The addition of locks simplifies the formulation of typing rules for calculi that incorporate different modal...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Valliappan, Nachiappan, Ruch, Fabian, Cortiñas, Carlos Tomé
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Logic in Computer Science Computer Science - Programming Languages
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!