[Back]


Publications in Scientific Journals:
F. Aschieri, A. Ciabattoni, F. Genco:
"Disjunctive Axioms and Concurrent lambda-Calculi: a Curry-Howard Approach";
CoRR - Computing Research Repository, abs/1802.00961 (2018), abs/1802.00961.

Electronic version of the publication:
http://arxiv.org/abs/1802.00961

Created from the Publication Database of the Vienna University of Technology.