Object modelling using lambda-calculus for information systems (abstract)

• Autoři: ZLATUŠKA Jiří
• Rok publikování: 1992
• Druh: Článek ve sborníku
• Konference: Computer Science Logic, Dagstuhl-Seminar-Report 40 (9229)