Skip to content
Navigation menu
Back
Forward
Refresh
Search
Log in
Create account
DEV Community
Close
DEV Community
is a community of 554,041 amazing developers
We're a place where coders share, stay up-to-date and grow their careers.
Create new account
Log in
Home
Home
Sign In/Up
Sign In/Up
Listings
Podcasts
Videos
Tags
More...
Code of Conduct
FAQ
DEV Shop
Sponsors
About
Privacy Policy
Terms of use
Contact
Twitter
Facebook
Github
Instagram
Twitch
loading...
The Curry-Howard Correspondence in C# Series' Articles
Back to Brian Berns's Series
The Curry-Howard Correspondence in C#
Brian Berns
Dec 31 '19
The Curry-Howard Correspondence in C#
#
csharp
#
dotnet
#
functional
#
logic
Reactions
12
reactions
Comments
4
comments
3 min read
Save
Saved
The Curry-Howard Correspondence in C#: Part 2
Brian Berns
Jan 10 '20
The Curry-Howard Correspondence in C#: Part 2
#
csharp
#
dotnet
#
functional
#
logic
Reactions
5
reactions
Comments
6
comments
3 min read
Save
Saved
Double negation in C#
Brian Berns
Jan 26 '20
Double negation in C#
#
csharp
#
dotnet
#
logic
#
functional
Reactions
17
reactions
Comments
8
comments
4 min read
Save
Saved
Continuation passing style in C#
Brian Berns
Jan 28 '20
Continuation passing style in C#
#
csharp
#
dotnet
#
logic
#
functional
Reactions
8
reactions
4 min read
Save
Saved
Log in to continue
We're a place where coders share, stay up-to-date and grow their careers.
Log in
Create new account