Report - Sequentiality in Kahn- Macqueen nets and the λ …pauillac.inria.fr/~levy/talks/12dbm/dbm.pdf · Sequentiality in Kahn-Macqueen nets and the λ-calculus Jean-Jacques Lévy Macqueen

Please pass captcha verification before submit form