| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Constraint-based Language for Multiparty Interactions
|
Brodo, Linda
|
|
|
351 |
C |
p. 25-50
|
artikel
|
| 2 |
A Fresh View of Linear Logic as a Logical Framework
|
Olarte, Carlos
|
|
|
351 |
C |
p. 143-165
|
artikel
|
| 3 |
Agda Formalization of a Security-preserving Translation from Flow-sensitive to Flow-insensitive Security Types
|
Manzino, Cecilia
|
|
|
351 |
C |
p. 75-94
|
artikel
|
| 4 |
An Efficient Algorithm for Representing Piecewise Linear Functions into Logic
|
Preto, Sandro
|
|
|
351 |
C |
p. 167-186
|
artikel
|
| 5 |
Correct Audit Logging in Concurrent Systems
|
Amir-Mohammadian, Sepehr
|
|
|
351 |
C |
p. 115-141
|
artikel
|
| 6 |
EVL: A Typed Higher-order Functional Language for Events
|
Alves, Sandra
|
|
|
351 |
C |
p. 3-23
|
artikel
|
| 7 |
Preface
|
Nalon, Cláudia
|
|
|
351 |
C |
p. 1-2
|
artikel
|
| 8 |
Pure Pattern Calculus à la de Bruijn
|
Martín, Alexis
|
|
|
351 |
C |
p. 95-113
|
artikel
|
| 9 |
Safety of a Smart Classes-Used Regression Test Selection Algorithm
|
Mansky, Susannah
|
|
|
351 |
C |
p. 51-73
|
artikel
|
| 10 |
Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda
|
Urciuoli, Sebastián
|
|
|
351 |
C |
p. 187-203
|
artikel
|
Tijdschrift beschrijving