%0 Conference Paper %1 conf/tlca/LindleyS05 %A Lindley, Sam %A Stark, Ian %B TLCA %D 2005 %E Urzyczyn, Pawel %I Springer %K %P 262-277 %T Reducibility and TT-Lifting for Computation Types. %U http://dblp.uni-trier.de/db/conf/tlca/tlca2005.html#LindleyS05 %V 3461 %@ 3-540-25593-1

@inproceedings{conf/tlca/LindleyS05, added-at = {2023-12-13T01:00:46.000+0100}, author = {Lindley, Sam and Stark, Ian}, biburl = {https://www.bibsonomy.org/bibtex/2e5fb67be7d0e6b156f25a5218900a085/admin}, booktitle = {TLCA}, crossref = {conf/tlca/2005}, editor = {Urzyczyn, Pawel}, ee = {https://doi.org/10.1007/11417170_20}, interhash = {6b97f9454bb9b5c626679f0b633084ec}, intrahash = {e5fb67be7d0e6b156f25a5218900a085}, isbn = {3-540-25593-1}, keywords = {}, pages = {262-277}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T01:00:46.000+0100}, title = {Reducibility and TT-Lifting for Computation Types.}, url = {http://dblp.uni-trier.de/db/conf/tlca/tlca2005.html#LindleyS05}, volume = 3461, year = 2005 }