Computer Science
Patrick Browne's user avatar
Patrick Browne's user avatar
Patrick Browne's user avatar
Patrick Browne
  • Member for 5 years, 11 months
  • Last seen more than a month ago
Profile Activity

11 Questions

Score Activity Newest Views
5 votes
1 answer
197 views

Can the semantics of a numeric hierarchy be faithfully represented in Haskell?

4 votes
1 answer
476 views

Haskell type classes as ontological categories

4 votes
0 answers
265 views

Can every sentence of first-order logic be converted into an equisatisfiable equation in Boolean algebra?

3 votes
1 answer
265 views

Relating a proof to a Haskell program

3 votes
1 answer
583 views

Does a Haskell program count as an inductive proof?

1 vote
0 answers
181 views

Does this Haskell code represent a decision procedure for a theorem?

1 vote
1 answer
303 views

Haskell type class and initial algebra

1 vote
0 answers
184 views

Proving a first order logic theorem in equational logic with a term rewriting system

0 votes
1 answer
293 views

Can this set of propositions be represented and proved in Haskell?

0 votes
1 answer
128 views

Could the execution of a Haskell program be considered as a proof using equational reasoning

0 votes
1 answer
108 views

Understanding arguments in Haskell type classes and instances

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.