Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             9 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Arithmetical Proofs of Strong Normalization Results for Symmetric λ-calculi David, René
 2007
 77 4 p. 489-510
 artikel
2 Can Proofs be Animated by Games? Hayashi, Susumu
 2007
 77 4 p. 331-343
 artikel
3 L^3: A Linear Language with Locations Ahmed, Amal
 2007
 77 4 p. 397-449
 artikel
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
 artikel
5 Rank 2 Intersection for Recursive Definitions Damiani, Ferruccio
 2007
 77 4 p. 451-488
 artikel
6 The Completeness of Typing for Context-Semantics Coquand, Thierry
 2007
 77 4 p. 293-301
 artikel
7 Tutorial Examples of the Semantic Approach to Foundational Proof-Carrying Code Felty, Amy P.
 2007
 77 4 p. 303-330
 artikel
8 Typed Lambda Calculi and Applications 2005, Selected Papers 2007
 77 4 p. i
 artikel
9 Untyped Algorithmic Equality for Martin-Löf's Logical Framework with Surjective Pairs Abel, Andreas
 2007
 77 4 p. 345-395
 artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland