Tag curry-howard - This is page 1 - GeneraCodice

What else can `loeb` function be used for?

https://www.generacodice.com/en/articolo/12725821/what-else-can-loeb-function-be-used-for

  haskell  -  functor  -  curry-howard

StackOverflow

COQ definition curry howard (A -> B -> C) -> (B -> A -> C) using sets

https://www.generacodice.com/en/articolo/10857922/coq-definition-curry-howard-a-b-c-b-a-c-using-sets

  coq  -  curry-howard

StackOverflow

Can GADTs be used to prove type inequalities in GHC?

https://www.generacodice.com/en/articolo/5909282/can-gadts-be-used-to-prove-type-inequalities-in-ghc

  haskell  -  curry-howard

StackOverflow

What's the absurd function in Data.Void useful for?

https://www.generacodice.com/en/articolo/5785975/what-s-the-absurd-function-in-data-void-useful-for

  haskell  -  type-theory  -  curry-howard

StackOverflow

Is there a Scala function of type `Nothing => A`? Or how to construct one?

https://www.generacodice.com/en/articolo/5323796/is-there-a-scala-function-of-type-nothing-a-or-how-to-construct-one

  scala  -  unit-type  -  curry-howard

StackOverflow

Constructing efficient monad instances on `Set` (and other containers with constraints) using the continuation monad

https://www.generacodice.com/en/articolo/4719977/constructing-efficient-monad-instances-on-set-and-other-containers-with-constraints-using-the-continuation-monad

  complexity-theory  -  continuations  -  haskell  -  monads  -  curry-howard

StackOverflow

I can't get my GADT-based toy Dynamic type to work with parametric types

https://www.generacodice.com/en/articolo/4363422/i-can-t-get-my-gadt-based-toy-dynamic-type-to-work-with-parametric-types

  haskell  -  gadt  -  curry-howard

StackOverflow

Curry-Howard isomorphism

https://www.generacodice.com/en/articolo/4141719/curry-howard-isomorphism

  types  -  logic  -  haskell  -  curry-howard

StackOverflow

Implementing mathematical theory of arithmetic in Haskell via Curry-Howard correspondence

https://www.generacodice.com/en/articolo/1595355/implementing-mathematical-theory-of-arithmetic-in-haskell-via-curry-howard-correspondence

  logic  -  haskell  -  curry-howard  -  propositional-logic

cs.stackexchange

Why algorithms calculating non-tirivial zeros can't be used as proofs of Riemann Hypothesis?

https://www.generacodice.com/en/articolo/1592842/why-algorithms-calculating-non-tirivial-zeros-can-t-be-used-as-proofs-of-riemann-hypothesis

  first-order-logic  -  curry-howard  -  proof-techniques  -  propositional-logic  -  mathematical-foundations

cs.stackexchange

• «
• 1
• 2
• 3
• 4
• »

Results found: 38