Go to the corresponding Portal 
Carraro, Alberto ; Salibra, Antonino
pdfformat: 

@InProceedings{carraro_et_al:LIPIcs:2012:3670, author = {Alberto Carraro and Antonino Salibra}, title = {{On the equational consistency of ordertheoretic models of the lambdacalculus}}, booktitle = {Computer Science Logic (CSL'12)  26th International Workshop/21st Annual Conference of the EACSL}, pages = {152166}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783939897422}, ISSN = {18688969}, year = {2012}, volume = {16}, editor = {Patrick C{\'e}gielski and Arnaud Durand}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2012/3670}, URN = {urn:nbn:de:0030drops36703}, doi = {http://dx.doi.org/10.4230/LIPIcs.CSL.2012.152}, annote = {Keywords: Lambda calculus, orderincompleteness, partially ordered models} }
Keywords:  Lambda calculus, orderincompleteness, partially ordered models  
Seminar:  Computer Science Logic (CSL'12)  26th International Workshop/21st Annual Conference of the EACSL  
Issue Date:  2012  
Date of publication:  27.08.2012 