pdfformat: 

@InProceedings{terui:LIPIcs:2012:3501, author = {Kazushige Terui}, title = {{Semantic Evaluation, Intersection Types and Complexity of Simply Typed Lambda Calculus}}, booktitle = {23rd International Conference on Rewriting Techniques and Applications (RTA'12) }, pages = {323338}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783939897385}, ISSN = {18688969}, year = {2012}, volume = {15}, editor = {Ashish Tiwari}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2012/3501}, URN = {urn:nbn:de:0030drops35012}, doi = {http://dx.doi.org/10.4230/LIPIcs.RTA.2012.323}, annote = {Keywords: simply typed lambda calculus, computational complexity, denotational semantics, intersection types} }
Keywords:  simply typed lambda calculus, computational complexity, denotational semantics, intersection types  
Seminar:  23rd International Conference on Rewriting Techniques and Applications (RTA'12)  
Issue date:  2012  
Date of publication:  2012 