%0 Thesis %1 phd/de/Abel2007 %A Abel, Andreas %D 2007 %K dblp %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 = {2021-07-17T00:00:00.000+0200}, author = {Abel, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/214aec782c6e1629f00c599071992ed64/dblp}, ee = {https://d-nb.info/984765581}, interhash = {184747c16e7af54c7674c9ecae868f4a}, intrahash = {14aec782c6e1629f00c599071992ed64}, isbn = {978-3-938363-04-1}, keywords = {dblp}, pages = {1-203}, school = {Ludwig Maximilians University Munich}, timestamp = {2024-04-09T09:10:14.000+0200}, title = {Type-based termination: a polymorphic lambda-calculus with sized higher-order types.}, year = 2007 }