Skip to main content
Skip to main navigation
Search DFKI for:
Press
Contact
Careers
Deutsch
Follow us on: Facebook
Follow us on: Instagram
Follow us on: X
Follow us on: Youtube
Follow us on: LinkedIn
de
Research
Research Departments
Agents and Simulated Reality
Cyber-Physical Systems
Data Science and its Applications
Design Research eXplorations
Educational Technology Lab
Embedded Intelligence
Augmented Vision
Foundations of Systems AI
Innovative Factory Systems
Institute for Information Systems
Intelligent Analytics for Massive Data
Intelligent Networks
Interactive Machine Learning
AI in Medical Image and Signal Processing
Cognitive Assistants
Marine Perception
Neuro-Mechanistic Modeling
Plan-Based Robot Control
Robotics Innovation Center
Smart Data & Knowledge Services
Smart Enterprise Engineering
Smart Service Engineering
Multilinguality and Language Technology
Speech and Language Technology
Systems AI for Decision Support
Systems AI for Robot Learning
Research Results
Projects
Project News
Publications
Research Topics
Autonomous Systems
Data Management & Analysis
Image Processing
IT Security
Machine Learning & Deep Learning
Human-Machine Interaction
Robotics
Sensors & Networks
Language & Text Understanding
Virtual & Augmented Reality
Applications & Industry
Competence Centers
Ambient Assisted Living
Autonomous Driving
Deep Learning
Emergency & Recovery
Generative AI
Semantic Web
Safe & Secure Systems
Smart Agriculture
Environment & Sustainability
Wearable AI
Living Labs
Ambient Assisted Living – BAALL
Driver Assistance - ADAS
Immersive Quantified Learning - iQL
Innovative Retail - IRL
Robotics Exploration
SmartCity - SCLL
SmartFactory-KL
Smart Office Space
Transfer
Industrial Cooperations
Spin-offs
TransferLabs
CertLab
Fields of Application
Education
Business Intelligence
Financial Sector
Industry 4.0
Farming
Logistics
Medicine
Mobility
Smart Home
Environment & Energy
Qualifications & Networks
Qualification Opportunities
AI Campus
Software Campus
Bitkom Academy
Scientific Network
International Cooperation
Scientific Environment
Professors
Networks & Initiatives
Charter of Digital Networking
CLAIRE
EIT Health
EIT Manufacturing
Forum Digital Technologies
Centres of Excellence for AI Research
Plattform Industrie 4.0
Learning Systems Platform
W3C
News & Media
News
News Overview
Scientific Excellence
Project News
dfki ai next
Newsletter
Events
Events
DFKI at Hannover Messe 2024
Grüne Woche 2024
Media
DFKI in the Media
Podcast - KI und jetzt?
Videos
Press
Press Releases
Press Material
Press Contact
About DFKI
DFKI at a Glance
Company Profile
Managing Director & Management Board
Shareholders
Supervisory Board
Scientific Advisory Board
Governance
Mission Statement
Diversity and Gender Equality
Ethics Team
Compliance
Working at DFKI
Careers
#WEatDFKI
DFKI Store
Research Fellows
DFKI Fellows
Top Employer Award
Locations
Kaiserslautern / Trier
Saarbrücken
Bremen
Osnabrück / Oldenburg
Berlin
Darmstadt
Lübeck
dfki.de
Research
Research Results
Publications
Page 3 of 3.
Dieter Hutter
; Michael Kohlhase
A Colored Version of the Lambda-Calculus
Technical Report, Vol. SR-95-08, 1995.
previous
1
1
2
3
×
Research
Applications & Industry
Qualifications & Networks
News & Media
About DFKI
