Normalization for Fitch-Style Modal Calculi
Journal article, 2022
Fitch-style lambda calculi
Possible-world semantics
Normalization by Evaluation
Author
Nachiappan Valliappan
Chalmers, Computer Science and Engineering (Chalmers), Information Security
Fabian Ruch
University of Gothenburg
Carlos Tomé Cortiñas
Chalmers, Computer Science and Engineering (Chalmers), Information Security
Proceedings of the ACM on Programming Languages
24751421 (eISSN)
Vol. 6 ICFP 118Areas of Advance
Information and Communication Technology
Subject Categories
Philosophy
Computer Science
Computer Systems
DOI
10.1145/3547649