Travelled to:
1 × The Netherlands
Collaborated with:
M.Pagano
Talks about:
type (2) algorithm (1) normalis (1) theori (1) subtyp (1) martin (1) evalu (1) check (1) base (1) löf (1)
Person: Daniel Fridlender
DBLP: Fridlender:Daniel
Contributed to:
Wrote 1 papers:
- TLCA-2013-FridlenderP #algorithm #evaluation #normalisation #type system
- A Type-Checking Algorithm for Martin-Löf Type Theory with Subtyping Based on Normalisation by Evaluation (DF, MP), pp. 140–155.