Simply Typed
cv
personal
projects
blog
tags
archive
theory
24th August 2024
Perfect-Precision 2D Geometry Using Complex Integer Rings
theory
math
geometry
algebra
Read more
→
6th April 2024
A Prime Way to Count Edge-Labeled Ordered Trees
theory
math
trees
Read more
→
16th March 2024
A Simple and Natural Uncomputable Function
theory
math
tcs
Read more
→
9th September 2023
Generating Fractal-Like Sequences using Convolution Grammars
theory
math
fractals
tcs
Read more
→
28th July 2023
Generating Orthogonal Set Partitions
theory
math
sets
partitions
combinatorics
Read more
→
7th December 2021
From Metaphysics via Self-Dual Hypergraphs to Non-Well-Founded Set Theory
theory
math
graphs
Read more
→
20th September 2020
Topology and Geometry of Biconnected Polyhexes
theory
math
geometry
tilings
Read more
→
7th October 2014
Introduction to the Lambda Calculus
theory
computer science
Read more
→
←
All tags