%0 Thesis %1 abel2006typebased %A Abel, Andreas %D 2006 %K dnb Informatik %T Type-based termination: a polymorphic lambda-calculus with sized higher-order types

@phdthesis{abel2006typebased, added-at = {2015-09-10T00:41:23.000+0200}, author = {Abel, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/227abd041ec0bf581e47c493c1dc5f2f2/genealogie}, dnbtitleid = {984765581}, interhash = {758698c05a636d10ae2e33bf8dad46be}, intrahash = {27abd041ec0bf581e47c493c1dc5f2f2}, keywords = {dnb Informatik}, school = {Uni München}, timestamp = {2016-05-31T14:07:02.000+0200}, title = {Type-based termination: a polymorphic lambda-calculus with sized higher-order types}, year = 2006 }