You are here:
Publication details
Object modelling using lambda-calculus for information systems (abstract)
Authors | |
---|---|
Year of publication | 1992 |
Type | Article in Proceedings |
Conference | Computer Science Logic, Dagstuhl-Seminar-Report 40 (9229) |
Citation |