660 search results - page 21 / 132 » The Implicit Calculus of Constructions |
116
Voted
APCCAS
2006
IEEE
15 years 6 months ago
2006
IEEE
— A novel black-box model for time series of prices analysis is proposed. It is constructed using the technique of “shaping filter”. The model identification is then propos...
81
Voted
ACL
2003
15 years 2 months ago
2003
In this paper, we elucidate how Korean temporal markers, OE and DONGAN contribute to specifying the event time and formalize it in terms of typed lambda calculus. We also present ...
106
Voted
ENTCS
2006
15 years 23 days ago
2006
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
96
Voted
ESOP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We describe a low-level calculus, called ink (pronounced "links"), designed to serve as an intermediate representation in compilers for class-based objectorient...
102
click to vote
ENTCS
2008
15 years 24 days ago
2008
We provide a categorical presentation of the Fusion calculus. Working in a suitable category of presheaves, we describe the syntax as initial algebra of a signature endofunctor, a...