Travelled to:1 × Japan
1 × Spain
Collaborated with:∅ T.Coquand R.Pollack
Talks about:framework (1) program (1) record (1) depend (1) logic (1) assur (1) type (1) case (1) agda (1)
Person: Makoto Takeyama
DBLP: Takeyama:Makoto
Contributed to:
2011
2003Wrote 2 papers:
- ICFP-2011-Takeyama #assurance #programming
- Programming assurance cases in Agda (MT), p. 142.
- TLCA-2003-CoquandPT #framework #logic
- A Logical Framework with Dependently Typed Records (TC, RP, MT), pp. 105–119.