Digital Library
Close Browse articles from a journal
 
Search for with title:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             9 results found
no title author magazine year volume issue page(s) type
1 Arithmetical Proofs of Strong Normalization Results for Symmetric λ-calculi David, René
 2007
 77 4 p. 489-510
 article
2 Can Proofs be Animated by Games? Hayashi, Susumu
 2007
 77 4 p. 331-343
 article
3 L^3: A Linear Language with Locations Ahmed, Amal
 2007
 77 4 p. 397-449
 article
4 On the Expressiveness of Affine Programs with Non-local Control: The Elimination of Nesting in SPCF Laird, James D.
 2007
 77 4 p. 511-531
 article
5 Rank 2 Intersection for Recursive Definitions Damiani, Ferruccio
 2007
 77 4 p. 451-488
 article
6 The Completeness of Typing for Context-Semantics Coquand, Thierry
 2007
 77 4 p. 293-301
 article
7 Tutorial Examples of the Semantic Approach to Foundational Proof-Carrying Code Felty, Amy P.
 2007
 77 4 p. 303-330
 article
8 Typed Lambda Calculi and Applications 2005, Selected Papers 2007
 77 4 p. i
 article
9 Untyped Algorithmic Equality for Martin-Löf's Logical Framework with Surjective Pairs Abel, Andreas
 2007
 77 4 p. 345-395
 article
                             9 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands