scientific article

zbMath0703.03009MaRDI QIDQ3481679

Tomáš Vlk

Publication date: 1989

Full work available at URL: https://eudml.org/doc/27825

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algorithmtyped lambda calculustransparent intensional logictopic/focus articulation

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Logic of natural languages (03B65) Natural language processing (68T50) Combinatory logic and lambda calculus (03B40)

Cites Work

• Unnamed Item
• Unnamed Item
• Redundant answers and topic-focus articulation
• The logic of temporal discourse

This page was built for publication: