Zur Pragmatik eines operationalisierten λ-Kalküls als Basis für interaktive ReduktionssystemePostrážiť