Normalization for Fitch-Style Modal Calculi
Artikel i vetenskaplig tidskrift, 2022
Fitch-style lambda calculi
Possible-world semantics
Normalization by Evaluation
Författare
Nachiappan Valliappan
Chalmers, Data- och informationsteknik, Informationssäkerhet
Fabian Ruch
Göteborgs universitet
Carlos Tomé Cortiñas
Chalmers, Data- och informationsteknik, Informationssäkerhet
Proceedings of the ACM on Programming Languages
24751421 (eISSN)
Vol. 6 ICFP 118Styrkeområden
Informations- och kommunikationsteknik
Ämneskategorier
Filosofi
Datavetenskap (datalogi)
Datorsystem
DOI
10.1145/3547649