Toggle navigation
Logout
Change account settings
EN
DE
ES
FR
A-Z
Beta
About EconBiz
News
Thesaurus (STW)
Academic Skills
Help
EN
DE
ES
FR
My account
Logout
Change account settings
Login
Publications
Events
Your search terms
Search
Search options
All Fields
Title
Exact title
Subject
Author
Institution
ISBN/ISSN
Published in...
Publisher
Open Access only
Advanced
Search history
My EconBiz
Favorites
Loans
Reservations
Fines
You are here:
Home
Search: subject:"Lambda-Kalkül"
Narrow search
Narrow search
Year of publication
From:
To:
Subject
All
Lambda-Kalkül
3
Datenstruktur
1
Informatik
1
Kombinatorische Logik
1
Kongress
1
Logik
1
Metamathematik
1
Nichtnumerische Datenverarbeitung
1
Programmiersprache
1
Programmierung
1
Rekursive Funktion
1
Rom <1975>
1
Technik
1
more ...
less ...
Type of publication
All
Book / Working Paper
3
Type of publication (narrower categories)
All
Konferenzschrift
1
Language
All
English
2
Undetermined
1
Author
All
Burge, William H.
1
Böhm, Corrado
1
Révész, György E.
1
Institution
All
Istituto per le Applicazioni del Calcolo Mauro Picone <Rom>
1
Published in...
All
Cambridge tracts in theoretical computer science
1
Lecture notes in computer science
1
Source
All
USB Cologne (EcoSocSci)
3
Showing
1
-
3
of
3
Sort
relevance
articles prioritized
date (newest first)
date (oldest first)
1
Lambda-calculus, combinators, and functional programming
Révész, György E.
-
1988
Persistent link: https://www.econbiz.de/10004060287
Saved in:
2
Lambda-calculus and computer science theory : proceedings of the symposium held in Rome March 25 - 27, 1975
Böhm, Corrado
(
contributor
)
-
1975
Persistent link: https://www.econbiz.de/10004589206
Saved in:
3
Recursive programming techniques
Burge, William H.
-
1975
Persistent link: https://www.econbiz.de/10004014162
Saved in:
Results per page
10
25
50
100
250
A service of the
zbw
×
Loading...
