|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Bidirectional Refinement Type System for LF |
Lovas, William |
2008 |
196 | C |
p. 113-128 16 p. |
artikel |
|
| 2 | Coercive Subtyping via Mappings of Reduction Behaviour |
Callaghan, Paul |
2008 |
196 | C |
p. 53-68 16 p. |
artikel |
|
| 3 | Focusing the Inverse Method for LF: A Preliminary Report |
Pientka, Brigitte |
2008 |
196 | C |
p. 95-112 18 p. |
artikel |
|
| 4 | Formalising in Nominal Isabelle Crary's Completeness Proof for Equivalence Checking |
Narboux, Julien |
2008 |
196 | C |
p. 3-18 16 p. |
artikel |
|
| 5 | Higher-Order Proof Construction Based on First-Order Narrowing |
Lindblad, Fredrik |
2008 |
196 | C |
p. 69-84 16 p. |
artikel |
|
| 6 | Induction on Concurrent Terms |
Schack-Nielsen, Anders |
2008 |
196 | C |
p. 37-51 15 p. |
artikel |
|
| 7 | [No title] |
Pientka, Brigitte |
2008 |
196 | C |
p. 1- 1 p. |
artikel |
|
| 8 | Signature Compilation for the Edinburgh Logical Framework |
Zeller, Michael |
2008 |
196 | C |
p. 129-135 7 p. |
artikel |
|
| 9 | The λ-context Calculus |
Gabbay, Murdoch J. |
2008 |
196 | C |
p. 19-35 17 p. |
artikel |
|
| 10 | Towards Formalizing Categorical Models of Type Theory in Type Theory |
Buisse, Alexandre |
2008 |
196 | C |
p. 137-151 15 p. |
artikel |
|
| 11 | Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax |
Momigliano, Alberto |
2008 |
196 | C |
p. 85-93 9 p. |
artikel |
11 gevonden resultaten