3 search results - page 1 / 1 » Towards an embedding of Graph Transformation in Intuitionist... |
CORR
2009
Springer
13 years 3 months ago
2009
Springer
CORR
2011
Springer
13 years 19 days 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
13 years 11 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...