Travelled to:
1 × India
Collaborated with:
∅
Talks about:
calculus (1) comput (1) level (1) cross (1) meta (1)
Person: Kazunori Tobisawa
DBLP: Tobisawa:Kazunori
Contributed to:
Wrote 1 papers:
- POPL-2015-Tobisawa #λ-calculus
- A Meta λ Calculus with Cross-Level Computation (KT), pp. 383–393.