Propositions as sessions

By Philip Wadler. Journal of functional programming, 2012

320 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/a16a38c5fcb1060d9118c4879d61c96886fadd85

Citations in the corpus

• Microservices: Yesterday, Today, and Tomorrow (2016, unknown): “This result has propelled many other results, among which: a logical reconstruction of behavioural types in classical linear logic that supports parametric polymorphism [71]; type theories for integrating higher-order process models with functional computation [67]; initial ideas for algorithms for ”