Old Web
English
Sign In
Acemap
>
Paper
>
The context calculus lambda-c.
The context calculus lambda-c.
1999
M. Bognár
R.C. de Vrijer
Keywords:
Domain relational calculus
Discrete mathematics
Natural deduction
Relational calculus
Calculus of communicating systems
Proof calculus
Process calculus
Mathematics
Situation calculus
Typed lambda calculus
Calculus
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
1
Citations
NaN
KQI
[]