A typed parallel lambda-calculus via 1-depth intermediate proofs.

Federico Aschieri, Agata Ciabattoni, Francesco Antonio Genco

Browse the full LPAR paper archive.