New paper accepted on typed lambda-calculus

The paper ‘J-Calc: a typed lambda-calculus for intuitionistic justification logic’ by K. Pouliasis and G. Primiero has been accepted for publication and is now forthcoming in Electornic Notes in Theoretical Computer Science.

This entry was posted in Uncategorized. Bookmark the permalink.

Leave a Reply

Your email address will not be published. Required fields are marked *

Note: If you are replying to another commenter, click the "Reply to {NAME} ↵" button under their comment!