Carlos Tomé Cortiñas

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 5

Top Topics

Reasoning Problems

Abstract Machine

Nonmonotonic Logics

Asynchronous Cellular Automata

Top Venues

Proc. ACM Program. Lang.

Publications

Nachiappan Valliappan, Fabian Ruch, Carlos Tomé Cortiñas
Normalization for Fitch-Style Modal Calculi. CoRR (2022)
Nachiappan Valliappan, Fabian Ruch, Carlos Tomé Cortiñas
Normalization for fitch-style modal calculi. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Carlos Tomé Cortiñas, Marco Vassena, Alejandro Russo
Securing Asynchronous Exceptions. CSF (2020)
Carlos Tomé Cortiñas, Nachiappan Valliappan
Simple Noninterference by Normalization. PLAS@CCS (2019)
Carlos Tomé Cortiñas, Wouter Swierstra
From algebra to abstract machine: a verified generic construction. TyDe@ICFP (2018)