18429 search results - page 362 / 3686 » Typing dynamic typing |
90
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
126
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
228
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Proof nets are a graph theoretical representation of proofs in various fragments of type-logical grammar. In spite of this basis in graph theory, there has been relatively little ...
80
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer