Introduction to combinators and &lgr;-calculus
Introduction to combinators and &lgr;-calculus
An introduction to mathematical logic and type theory: to truth through proof
An introduction to mathematical logic and type theory: to truth through proof
Introduction to Mathematical Logic and Type Theory: To Truth through Proof
Introduction to Mathematical Logic and Type Theory: To Truth through Proof
Hi-index | 0.00 |
In this paper, we elucidate how Korean temporal markers, OE and DONGAN contribute to specifying the event time and formalize it in terms of typed lambda calculus. We also present a computational method for constructing temporal representation of Korean sentences on the basis of G grammar proposed by [Renaud, 1992;1996].