Login / Signup
Philippe Curmin
Publication Activity (10 Years)
Years Active: 1995-2001
Publications (10 Years): 0
</>
Publications
</>
Eugenia Reznik
,
Philippe Curmin
Intuitionistic Sequent Calculi for Finitely Many-valued Logics.
Log. J. IGPL
9 (6) (2001)
Philippe Curmin
First Order Marked Types.
TYPES
(1995)