(1 - 20 von 30
)
TPHOLs Business Meeting
es.cs.uni-kl.de
... Konrad Slind, Christoph Sprenger, Tobias Nipkow, Michael Norrish, Sofiène Tahar, Laurent Théry, Thomas Türk, Christian Urban, Makarius Wenzel, ...
TPHOLs 2007: Accepted Papers
es.cs.uni-kl.de
Michael Norrish and Rene Vestergaard. Placing our result in a web of related mechanised results, we give a direct proof that the de Bruijn lambda-calculus ...
sortiert nach Relevanz / Datum