Old Web
English
Sign In
Acemap
>
Paper
>
Induction and Recursion : A First Step to Denotational Semantics
Induction and Recursion : A First Step to Denotational Semantics
2012
Yoshiki Kinoshita
Keywords:
Recursion
Normalisation by evaluation
Operational semantics
Corecursion
Discrete mathematics
Denotational semantics
Algorithm
Denotational semantics of the Actor model
Structural induction
Mathematics
Programming language
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]