Einführung und formale Beschreibung eines Kalküls zur Programmentwicklung

Einführung und formale Beschreibung eines Kalküls zur Programmentwicklung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Weber, Matthias (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	Sankt Augustin Ges. für Mathematik und Datenverarbeitung 1988
Schriftenreihe:	Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien 133
Schlagworte:	Informatik Mathematik Computer science > Mathematics Lambda calculus Logic, Symbolic and mathematical Softwareentwicklung Lambda-Kalkül Kalkül
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Lambda calculus extended with segments
von: Balsters, Harmannus
Veröffentlicht: (1986)

Surjective pairing and strong normalization two themes in lambda calculus
von: Vrijer, Roel de
Veröffentlicht: (1987)

Pi-Red + ein interaktives codeausführendes Reduktionssystem zur vollständigen Realisierung eines angewandten lambda-Kalküls
von: Gärtner, Dietmar
Veröffentlicht: (1992)

Models of the lambda calculus met een samenvatting in het Nederlands
von: Koymans, Christian P.
Veröffentlicht: (1984)

LISP und der lamda-Kalkül
von: Görz, Günther 1947-
Veröffentlicht: (1974)

An introduction to functional programming through Lambda Calculus
von: Michaelson, Greg
Veröffentlicht: (1988)

Domains and lambda-calculi
von: Amadio, Roberto M.
Veröffentlicht: (1998)

Semantics and pragmatics of the lambda calculus
von: Wadsworth, Christopher P.
Veröffentlicht: (1971)

A collection of contributions in honour of Corrado Böhm on the occasion of his 70th birthday
Veröffentlicht: (1993)

What is a model of the Lambda calculus?
von: Meyer, Albert R.
Veröffentlicht: (1981)

Non-stable models of linear logic
von: Hoofman, Raymond
Veröffentlicht: (1992)

Reduction properties of pie-systems
von: Joachimski, Felix
Veröffentlicht: (2002)

Programmierung PUR programmieren fundamental und ohne Grenzen
von: Loczewski, Georg P. 1939-
Veröffentlicht: (2003)

Coming to terms with modal logic on the interpretation of modalities in typed lambda-calculus
von: Borghuis, Valentijn A.
Veröffentlicht: (1994)

Some extensional term models for combinatory logics and lambda-calculi
von: Barendregt, Hendrik P. 1947-
Veröffentlicht: (1971)

Introduction to combinators and l-calculus
von: Hindley, James Roger
Veröffentlicht: (1986)

Introduction to combinators and lambda-calculus
von: Hindley, James R.
Veröffentlicht: (1990)

Functional interpretations of feasibly constructive arithmetic
von: Cook, Stephen, et al.
Veröffentlicht: (1988)

Introduction to combinators and lambda-calculus
von: Hindley, James R., et al.
Veröffentlicht: (1986)

Logic Colloquium '82 proceedings of the colloquium held in Florence, 23-28 August, 1982
Veröffentlicht: (1984)

Typed lambda calculi and applications 9th International Conference, TLCA 2009, Brasília, Brazil, July 1 - 3, 2009 ; proceedings
Veröffentlicht: (2009)

Logic Colloquium '82 proceedings of the colloquium held in Florence, 23-28 August, 1982
Veröffentlicht: (1984)

Constraint-Lambda calculi Theory and applications
von: Hölzl, Matthias M.
Veröffentlicht: (2001)

A formal foundation for concurrent object oriented programming
von: Grosu, Radu
Veröffentlicht: (1994)

Combinatory reduction systems
von: Klop, Jan Willem 1945-
Veröffentlicht: (1980)

Lambda-Kalkül als Kontrollstruktur von Programmiersprachen
von: Fehr, Elfriede 1950-
Veröffentlicht: (1980)

The Lambda Calculus, its syntax and semantics
von: Barendregt, Hendrik P. 1947-
Veröffentlicht: (2012)

Correctness and completeness of a categorical semantics of the calculus of constructions
von: Streicher, Thomas
Veröffentlicht: (1989)

Typed lambda calculi and applications Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995 ; proceedings
Veröffentlicht: (1995)

Lambda-iscislenie ego sintaksis i semantika
von: Barendregt, H. P.
Veröffentlicht: (1985)

Set theory and category theory in combinatory algebras
von: Darms, Daniel
Veröffentlicht: (1998)

13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) TLCA’15, July 1–3, 2015, Warsaw, Poland
Veröffentlicht: (2015)

Lambda-calculus, combinators, and functional programming
von: Revesz, György E.
Veröffentlicht: (1989)

The pi-calculus a theory of mobile processes
von: Sangiorgi, Davide
Veröffentlicht: (2003)

Program design calculi [proceedings of the NATO Advanced Study Institute on Program Design Calculi, held in Marktoberdorf, Germany, July 28 - August 9, 1992]
Veröffentlicht: (1993)

Typed lambda calculi and applications 11th international conference, TlCA 2013, Eindhoven, the Netherlands, June 26 - 28, 2013 ; proceedings
Veröffentlicht: (2013)

Typed lambda calculi and applications 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1 - 3, 2011 ; proceedings
Veröffentlicht: (2011)

Lambda-calculus, combinators, and functional programming
von: Revesz, György E.
Veröffentlicht: (1988)

Understanding ALGOL: the view of a recent convert to denotational semantics
von: Meyer, Albert R.
Veröffentlicht: (1983)

Logic Colloquium '82 proceedings of the colloquium held in Florence 23 - 28 August, 1982
Veröffentlicht: (1984)