3 search results - page 1 / 1 » Towards an embedding of Graph Transformation in Intuitionist... |
CORR
2009
Springer
13 years 8 months ago
2009
Springer
CORR
2011
Springer
13 years 6 months ago
2011
Springer
Grishin ([10]) proposed enriching the Lambek calculus with multiplicative disjunction (par) and coresiduals. Applications to linguistics were discussed by Moortgat ([15]), who spok...
PLDI
2003
ACM
14 years 4 months ago
2003
ACM
As more complex DSP algorithms are realized in practice, an increasing need for high-level stream abstractions that can be compiled without sacrificing efficiency. Toward this en...