pdfformat: 

@InProceedings{salvati_et_al:LIPIcs:2015:5417, author = {Sylvain Salvati and Igor Walukiewicz}, title = {{A Model for Behavioural Properties of Higherorder Programs}}, booktitle = {24th EACSL Annual Conference on Computer Science Logic (CSL 2015)}, pages = {229243}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783939897903}, ISSN = {18688969}, year = {2015}, volume = {41}, editor = {Stephan Kreutzer}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2015/5417}, URN = {urn:nbn:de:0030drops54173}, doi = {10.4230/LIPIcs.CSL.2015.229}, annote = {Keywords: Simply typed lambdaYcalculus, Monadic second order logic, semantic models} }
Keywords:  Simply typed lambdaYcalculus, Monadic second order logic, semantic models  
Seminar:  24th EACSL Annual Conference on Computer Science Logic (CSL 2015)  
Issue date:  2015  
Date of publication:  2015 