%0 Thesis %1 phd/de/Abel2007 %A Abel, Andreas %D 2007 %K %P 1-203 %T Type-based termination: a polymorphic lambda-calculus with sized higher-order types. %@ 978-3-938363-04-1

@phdthesis{phd/de/Abel2007, added-at = {2023-12-12T18:51:44.000+0100}, author = {Abel, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/214aec782c6e1629f00c599071992ed64/admin}, ee = {http://d-nb.info/984765581}, interhash = {184747c16e7af54c7674c9ecae868f4a}, intrahash = {14aec782c6e1629f00c599071992ed64}, isbn = {978-3-938363-04-1}, keywords = {}, pages = {1-203}, school = {Ludwig Maximilians University Munich}, timestamp = {2023-12-12T18:51:44.000+0100}, title = {Type-based termination: a polymorphic lambda-calculus with sized higher-order types.}, year = 2007 }