Publications

Monadic Translation of Intuitionistic Sequent Calculus

AuthID
P-00F-J2R

Author(s)

Espirito Santo, J

Matthes, R

Pinto, L

Document Type

Proceedings Paper

Year published

2009

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 5497 LNCS, Pages: 100-116

Conference

International Conference on Types for Proofs and Programs, Types 2008, Date: 26 March 2008 through 29 March 2008, Location: Torino

Indexing

Scopus^®

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-642-02444-3_7

SCOPUS: 2-s2.0-68749094308

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Monadic Translation of Intuitionistic Sequent Calculus

Useful Links

Get Help

Federated Authentication (Click on the image)

Monadic Translation of Intuitionistic Sequent Calculus

Useful Links

Get Help