@inproceedings{66844f67153f4ccf94808949edb83342,
title = "Classical higher-order processes",
abstract = "Classical Processes (CP) is a calculus where the proof theory of classical linear logic types processes {\`a} la Π-calculus, building on a Curry-Howard correspondence between session types and linear propositions. We contribute to this research line by extending CP with process mobility, inspired by the Higher-Order Π-calculus. The key to our calculus is that sequents are asymmetric: one side types sessions as in CP and the other types process variables, which can be instantiated with process values. The controlled interaction between the two sides ensures that process variables can be used at will, but always respecting the linear usage of sessions expected by the environment.",
author = "Fabrizio Montesi",
year = "2017",
doi = "10.1007/978-3-319-60225-7_12",
language = "English",
isbn = "9783319602240",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "171--178",
editor = "Ahmed Bouajjani and Alexandra Silva",
booktitle = "Formal Techniques for Distributed Objects, Components, and Systems",
address = "Germany",
note = "37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017 - Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017 ; Conference date: 19-06-2017 Through 22-06-2017",
}