Higher Order Babel -- Language and Implementation

Kuchen H, Anastasiadis J



Publication type
Research article in proceedings (conference)

Peer reviewed
Yes

Publication status
Published

Year
1996

Conference
Extensions of Logic Programming

Start page
193

End page
207

Number of pages
36

Volume
1050

Title of series
LNAI

Publisher
Springer Verlag

Language
English

Full text