Skip to search formSkip to main content

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

2017

2017

We introduce AmiCo, a tool that extends a proof assistant, Isabelle/HOL, with flexible function definitions well beyond primitive… Expand

Is this relevant?

2012

2012

Co-recursion is the ability of defining a function that produces some infinite data in terms of the function and the data itself… Expand

Is this relevant?

2009

2009

textabstractCan computer scientists contribute to the solution of societal
problems? Can logic help to model social interactions… Expand

Is this relevant?

2008

2008

We propose a (limited) solution to the problem of constructing stream values defined by recursive equations that do not respect… Expand

Is this relevant?

2005

2005

We show that, for functors with suitable mild restrictions, the initial algebra in the category of sets and functions gives rise… Expand

Is this relevant?

2003

2003

Nous adoptons des Methodes Formelles basees sur la Theorie de Type pour raisonner sur la semantique des programmes: le but final… Expand

Is this relevant?

2003

2003

We derive and factorize the fourth-order difference equations satisfied by orthogonal polynomials obtained from some… Expand

Is this relevant?

1999

1999

t whd t ′ E[t′] ∈ SN E[t] ∈ SN is wrong. Counterexample: Let Ω be a diverging term, t ≡ (λx.y) Ω and t′ = y. The correct… Expand

Is this relevant?

1998

1998

We present two purely functional implementations of the computational differentiation tools -- the well known numeric (not… Expand

Is this relevant?

1995

1995

We are dealing with orthogonal sequences with respect to forms verifying a second degreee equation, i.e. that its formal… Expand

Is this relevant?