|
94
|
Type-theoretical grammar
– A Ranta
- 1994
|
|
10
|
Reasoning by Analogy and Causality: A Model and Application
– D Long, G Garigliano
- 1994
|
|
7
|
M.Smith, “The LOLITA system as a contents scanning tool
– R Garigliano, R Morgan
- 1993
|
|
2
|
Lego with coercion synthesis. ftp://ftp.cs.man.ac.uk/pub/baileya/- Coercions/LEGO-with-coercions.dvi
– A Bailey
- 1996
|
|
2
|
report 1.4. http://www.haskell.org
– Haskell
- 1998
|
|
2
|
Demonstration of the Tomita parsing algorithm. ftp://iecc.com/pub/- file/tomita.tar.gz
– Mark Hopkins
- 1993
|
|
3
|
NL-OOPS: From Natural Natural Language to Object Oriented Requirements using the Natural Language Processing System LOLITA
– L Mich
- 1996
|
|
2
|
The LOLITA Project. Springer Verlag. (forthcoming in 3 vols: "The System Core", "Applications", "Philosophy and Methodology
– The LOLITA Group
|
|
10
|
de Bruijn. The Mathematical Vernacular, a language for mathematics with typed sets
– N G
|
|
26
|
The Machine-checked Literate Formalisation of Algebra in Type Theory
– A Bailey
- 1998
|
|
12
|
Some proof-theoretic and algorithmic aspects of coercive subtyping. Types for proofs and programs
– A Jones, Z Luo, S Soloviev
- 1998
|
|
41
|
Coercive subtyping
– Zhaohui Luo
- 1998
|
|
14
|
Mathematical Vernacular and Conceptual Well-formedness in Mathematical Language
– Zhaohui Luo, Paul Callaghan
- 1998
|
|
113
|
Efficient parsing for natural language - A fast algorithm for practical systems
– M Tomita
- 1986
|
|
35
|
Typing Algorithm in Type Theory with Inheritance
– Amokrane Saïbi
- 1997
|
|
5
|
Natural Language Generation in the LOLITA System: An Engineering Approach
– M H Smith
- 1996
|
|
12
|
Generation in the LOLITA system: an engineering approach
– M Smith, R Garigliano, R Morgan
- 1994
|
|
9
|
Language in action: categories, lambdas and dynamic logic
– J V Benthem
- 1991
|
|
2
|
Formal and informal software specifications
– Kristofer Johannisson, Kristofer Johannisson, C Kristofer Johannisson
- 2005
|
