NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 5
  • 4
  • Tagged with
  • 9
  • 9
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 9 of 9 (0.022 seconds)

Spelling suggestions: "subject:"lambdakalkylen̈l.""

1

A concurrent lambda-calculus with promises and futures

Schwinghammer, Jan. January 2004 (has links)
Saarbrücken, Univ., Diplomarb., 2002.
Lambda-Kalkül.
2

Untersuchung alternativer nicht-deterministischer Lambda-Kalküle zur Implementierung der Montague-Semantik

Reichau, Hermine Unknown Date (has links)
Univ., Diplomarbeit, 2006--Frankfurt (Main)
Montague-Grammatik Lambda-Kalkül
3

Gleichheitsanalyse von Ausdrücken in nicht-strikten funktionalen Programmiersprachen unter Verwendung der Kontextanalyse

Mann, Matthias Unknown Date (has links)
Univ., Diplomarbeit, 1999--Frankfurt (Main)
Lambda-Kalkül Programmverifikation
4

A non-deterministic call-by-need lambda calculus proving similarity a precongruence by an extension of Howe's method to sharing

Mann, Matthias Unknown Date (has links)
Univ., Diss., 2005--Frankfurt (Main) / Zsfassung in dt. und engl. Sprache
Lambda-Kalkül. Nichtdeterminismus.
5

Semantics of a call-by-need lambda calculus with McCarthy's amb for program equivalence

Sabel, David January 2008 (has links)
Zugl.: Frankfurt (Main), Univ., Diss., 2008
6

Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice operationale Semantik, Programmtransformationen und Anwendungen /

Kutzner, Arne. January 1900 (has links) (PDF)
Frankfurt (Main), Univ., Diss., 2000. / Erscheinungsjahr an der Haupttitelstelle: 1999
7

Equality and extensionality in automated higher-order theorem proving

Benzmüller, Christoph. Unknown Date (has links) (PDF)
University, Diss., 1999--Saarbrücken.
8

Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice operationale Semantik, Programmtransformationen und Anwendungen

Kutzner, Arne Unknown Date (has links)
Univ., Diss., 2000--Frankfurt (Main)
9

Region based program specialization an operational approach to polymorphic offline partial evaluation for ML-like languages /

Helsen, Simon. Unknown Date (has links) (PDF)
University, Diss., 2002--Freiburg (Breisgau).

Page generated in 0.0272 seconds