Skip to content

DEV Community

The Curry-Howard Correspondence in C# Series' Articles

Back to Brian Berns's Series

Dec 31 '19

The Curry-Howard Correspondence in C#

#csharp #dotnet #functional #logic

3 min read

Jan 10 '20

The Curry-Howard Correspondence in C#: Part 2

#csharp #dotnet #functional #logic

3 min read

Jan 26 '20

Double negation in C#

#csharp #dotnet #logic #functional

4 min read

Jan 28 '20

Continuation passing style in C#

#csharp #dotnet #logic #functional

4 min read