A database interface based on Montagues's approach to the interpretation of natural language

Authors:
R. A. Frost;W. S. Saba
Affiliations:
-;-
Venue:
International Journal of Man-Machine Studies
Year:
1990

Citing 0
Cited 3

Constructing programs in a calculus of lazy interpreters

Conference proceedings on Formal methods in software development
Modeling Contexts with Dependent Types

Fundamenta Informaticae
Formal foundations for situation awareness based on dependent type theory

Information Fusion

Quantified Score

Hi-index	0.01

Visualization

Abstract