Yazar
Vincent van Oostrom
4 cilt bulundu.
Cilt sonuçları
Processes, terms and cycles
Aart Middeldorp, Vincent van Oostrom · Springer
639 sayfa · 2006
Lambda calculus / Machine theory / Rewriting systems (Computer science) / Mathematical Logic and Formal Languages / Lambda-Kalkül
Logic Colloquium '99
Logic Colloquium (1999 Utrecht, Netherlands), Vincent Van Oostrom, Albert Visser, Logic Colloquium, J. Van Eijck · A K Peters
230 sayfa · 2004
Congresses / Logic, Symbolic and mathematical / Symbolic and mathematical Logic / Mathematical logic / Logic
Processes, Terms and Cycles : Steps on the Road to Infinity
Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer · Springer London, Limited
Sayfa sayısı yok · 2005
Calculus