18429 search results - page 132 / 3686 » Typing dynamic typing |
159
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
We present a type theory with some proof-irrelevance built into the conversion rule. We argue that this feature is useful when type theory is used as the logical formalism underlyi...
160
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— The problem of exact null-controllability is considered for a wide class of linear neutral type systems with distributed delay. The main tool of the analysis is the app...