891 search results - page 36 / 179 » Full Abstraction for PCF |
TLCA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In 1994 Herbelin started and partially achieved the programme of showing that, for intuitionistic implicational logic, there is a Curry-Howard interpretation of sequent c...
CF
2006
ACM
14 years 1 months ago
2006
ACM
t available: Pdf (734.64 KB) Additional Information: full citation, abstract, references, index terms Bibliometrics: Downloads (6 Weeks): 25, Downloads (12 Months): 230, Citation C...
CEC
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract- This paper proposes an evolutionary approach for the composition of solutions in an incremental way. The approach is based on the metaphor of transitions in complexity di...
ICCSA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Skeleton driven animation is a popular method for the animation of deformable human and creature characters. The main advantage is its computational performance. However ...
LPAR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...