output
20032009
most citedGraphene Antidot Lattices - Designed Defects and Spin Qubits

541 citations

researchers with a paper here
collaborating institutions
Showing 2004 · cs.CLShow all

1 paper · 2 filters

cs.CL2004★ 6 cited

Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics

Jørgen Villadsen

We investigate the possibility of modelling the syntax and semantics of natural language by constraints, or rules, imposed by the multi-dimensional type theory Nabla. The only mult…