Usability: formalizing (un)definedness in typed lambda calculi

Jan Kuper

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	Selected Papers of Computer Science Logic
Place of Publication	Kazimierz, Poland
Pages	76-90
Publication status	Published - 25 Jan 1995

Keywords

@inproceedings{986919c417c04696947f61f8132f268c,

title = "Usability: formalizing (un)definedness in typed lambda calculi",

keywords = "METIS-119300",

author = "Jan Kuper",

year = "1995",

month = jan,

day = "25",

language = "Undefined",

isbn = "3-540-60017-5",

pages = "76--90",

booktitle = "Selected Papers of Computer Science Logic",

}