Imperial College London
Dr Steffen van Bakel

DrSteffenvan Bakel

Faculty of Engineering, Department of Computing

Senior Lecturer
 
 
 
//

Contact

 

+44 (0)20 7594 8263s.van.bakel Website

 
 
//

Location

 

425Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{van:2017:10.4204/EPTCS.242.4,
author = {van, Bakel S},
doi = {10.4204/EPTCS.242.4},
pages = {20--30},
title = {Characterisation of approximation and (head) normalisation for λμ using strict intersection types},
url = {http://dx.doi.org/10.4204/EPTCS.242.4},
year = {2017}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - We study the strict type assignment for λμ that is presented in [7]. We define a notion of approximants of λμ-terms, show that it generates a semantics, and that for each typeable term there is an approximant that has the same type. We show that this leads to a characterisation via assignable types for all terms that have a head normal form, and to one for all terms that have a normal form, as well as to one for all terms that are strongly normalisable.
AU  - van,Bakel S
DO  - 10.4204/EPTCS.242.4
EP  - 30
PY  - 2017///
SN  - 2075-2180
SP  - 20
TI  - Characterisation of approximation and (head) normalisation for λμ using strict intersection types
UR  - http://dx.doi.org/10.4204/EPTCS.242.4
UR  - http://hdl.handle.net/10044/1/88834
ER  -
Download