Sciweavers

23
Voted
JFLP
2000
30views more  JFLP 2000»
15 years 1 months ago
Metatheoretic Results for a Modal lambda-Calculus
Joëlle Despeyroux, Pierre Leleu
JFLP
2000
36views more  JFLP 2000»
15 years 1 months ago
Composing Complete and Partial Knowledge
Sofie Verbaeten, Annalisa Bossi