Big Data Entwicklung und Programmierung von Systemen für große Datenmengen und Einsatz der Lambda-Architektur von Marz, Nathan, Warren, James

Inhaltstext
Inhaltsverzeichnis

Mathematische Grundlagen der Informatik von Pohlers, Wolfram

Logic Colloquium '82 proceedings of the colloquium held in Florence, 23-28 August, 1982

Volltext

Category theory invariances and symmetries in computer science von Majkić, Zoran 19XX-

DE-1043
DE-1046
DE-858
DE-Aug4
DE-92
DE-859
DE-860
DE-863
DE-862
DE-91
DE-706
DE-29
DE-739
URL des Erstveröffentlichers

Lectures on the Curry-Howard isomorphism

Volltext

Big Data Entwicklung und Programmierung von Systemen für große Datenmengen und Einsatz der Lambda-Architektur von Marz, Nathan, Warren, James

FHA01
UBM01
UBT01

Typed lambda calculi and applications 11th international conference, TlCA 2013, Eindhoven, the Netherlands, June 26 - 28, 2013 ; proceedings

Volltext
Abstract

The Lambda Calculus, its syntax and semantics von Barendregt, Hendrik P. 1947-

Typed lambda calculi and applications 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1 - 3, 2011 ; proceedings

Volltext

Pattern calculus computing with functions and structures von Jay, Barry

Inhaltsverzeichnis

Semantics of a Call-by-Need Lambda Calculus with McCarthy amb for programm equivalence von Sabel, David 1977-

Inhaltsverzeichnis

Lectures on the Curry-Howard isomorphism von Sørensen, Morten Heine

FAW01
FAW02
Volltext

Lectures on the Curry-Howard isomorphism von Sørensen, Morten Heine

Volltext

Reductive logic and proof-search proof theory, semantics, and control von Pym, David J., Ritter, Eike

Publisher description
Table of contents only

Programmierung PUR programmieren fundamental und ohne Grenzen von Loczewski, Georg P. 1939-

The pi-calculus a theory of mobile processes von Sangiorgi, Davide

Reduction properties of pie-systems von Joachimski, Felix

A Lambda Calculus Satellite von Barendregt, Hendrik P. 1947-

Inhaltsverzeichnis

Constraint-Lambda calculi Theory and applications von Hölzl, Matthias M.

Models of sharing graphs a categorical semantics of let and letrec von Hasegawa, Masahito 1970-

Inhaltsverzeichnis