Login / Signup
Alessandro Menti
ORCID
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Intuitionistic Logic
Natural Deduction
Cut Elimination
Top Venues
Fundam. Informaticae
</>
Publications
</>
Gianluigi Bellin
,
Alessandro Menti
On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems.
Fundam. Informaticae
130 (1) (2014)