СТ |
A simple abstract semantics for equational theories |
1995 |
Barthe G. |
Lecture Notes in Computer Science |
|
|
Fundamentals of Computation Theory |
18.10.1995 |
СТ |
Extensions of Pure Type Systems |
1995 |
Barthe G. |
|
|
|
Lecture Notes in Computer Science |
14.04.1995 |
СТ |
On the Subject Reduction Property for Algebraic Type Systems |
1997 |
Barthe G., Mellies P. -A. |
|
|
|
Lecture Notes in Computer Science |
18.07.1997 |
СТ |
Constructor Subtyping |
1999 |
Barthe G., Frade M. J. |
|
|
|
Lecture Notes in Computer Science |
07.04.1999 |
СТ |
Partial Evaluation and Non-interference for Object Calculi |
1999 |
Barthe G., Serpette B. P. |
|
|
|
Lecture Notes in Computer Science |
25.11.1999 |
СТ |
Type Isomorphisms and Proof Reuse in Dependent Type Theory |
2001 |
Barthe G., Pons O. |
|
|
|
Lecture Notes in Computer Science |
05.05.2001 |
СТ |
A Formal Executable Semantics of the JavaCard Platform |
2001 |
Barthe G., Dufay G., Jukabiec L., Serpette B., De Sousa S. M. |
|
|
|
Lecture Notes in Computer Science |
28.04.2001 |
СТ |
Compositional Verification of Secure Applet Interations |
2002 |
Barthe G., Gurov D., Huisman M. |
|
|
|
Lecture Notes in Computer Science |
15.05.2002 |
СТ |
An Introduction to Dependent Type Theory |
2002 |
Barthe G., Coquand T. |
|
|
|
Lecture Notes in Computer Science |
26.10.2002 |
СТ |
Tool-Assested Specification and Verification of the JavaCard Platform |
2002 |
Barthe G., Courtieu P., Dufay G., De Sousa S. M. |
|
|
|
Lecture Notes in Computer Science |
10.10.2002 |
СТ |
A Tool-Assisted Framework for Certified Bytecode Verification |
2004 |
Barthe G., Dufay G. |
|
|
|
Lecture Notes in Computer Science |
16.04.2004 |
СТ |
Security Types Preserving Compilation |
2004 |
Barthe G., Basu A., Rezk T. |
|
|
|
Lecture Notes in Computer Science |
11.02.2004 |