Skip to main content
Computer Science
Patrick Browne's user avatar
Patrick Browne's user avatar
Patrick Browne's user avatar
Patrick Browne
  • Member for 7 years, 2 months
  • Last seen more than 1 year ago
Profile Activity

11 Questions

Score Activity Newest Views
5 votes
1 answer
201 views

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

4 votes
1 answer
521 views

Haskell type classes as ontological categories

4 votes
0 answers
297 views

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

3 votes
1 answer
282 views

Relating a proof to a Haskell program

3 votes
1 answer
599 views

Does a Haskell program count as an inductive proof?

1 vote
0 answers
182 views

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

1 vote
1 answer
323 views

Haskell type class and initial algebra

1 vote
0 answers
201 views

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

0 votes
1 answer
305 views

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

0 votes
1 answer
145 views

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

0 votes
1 answer
117 views

Understanding arguments in Haskell type classes and instances