Julien Truffaut

According to our database¹, Julien Truffaut authored at least 2 papers between 2012 and 2013.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2013

Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2013

2012

Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators.

[BibT_eX]

[DOI]

Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012