nopeOct 15, 2023
Proofs and Types
(1990) : Girard, Jean-Yves Taylor, Paul...
DOI: https://doi.org/10.1016/0378-4754(90)90067-S
#lambda_calculus #types #math #curry_howard #logic #type_theory #my_bibtex
nopeSep 8, 2023
Proofs and Types
(1990) : Girard, Jean-Yves Taylor, Paul...
DOI: https://doi.org/10.1016/0378-4754(90)90067-S
#curry_howard #type_theory #types #math #logic #lambda_calculus #my_bibtex
nopeJun 17, 2023
Proofs and Types
(1990) : Girard, Jean-Yves Taylor, Paul...
DOI: https://doi.org/10.1016/0378-4754(90)90067-S
#curry_howard #logic #math #type_theory #types #lambda_calculus #my_bibtex
nopeJun 13, 2023
Policy As Types
(2013) : Meredith, Lucius G Stay, Mike ...
url: http://arxiv.org/abs/1307.7766
#RHO_calculus #__printed #curry_howard #types #logic #message_passing #behaviours #semantics #concurrency #type_checking #pi_calculus #policy #my_bibtex
Policy as Types

Drossopoulou and Noble argue persuasively for the need for a means to express policy in object-capability-based systems. We investigate a practical means to realize their aim via the Curry-Howard isomorphism. Specifically, we investigate representing policy as types in a behavioral type system for the RHO-calculus, a reflective higher-order variant of the pi-calculus.

arXiv.org
nopeJun 12, 2023
Proofs and Types
(1990) : Girard, Jean-Yves Taylor, Paul...
DOI: https://doi.org/10.1016/0378-4754(90)90067-S
#logic #curry_howard #types #math #type_theory #lambda_calculus #my_bibtex
nopeJun 8, 2023
On the Unity of Duality
(2008) : Zeilberger, Noam
DOI: https://doi.org/10.1016/j.apal.2008.01.001
#type_theory #curry_howard #polarity #polarized_logic #my_bibtex