Sign in
Erased Postulates, Identity Types and Quotients
WorkFree

Erased Postulates, Identity Types and Quotients

Hosted by SF Types, Theorems, and Programming Languages

Sunday 18 October 2026, 12:00Venue time (Los Angeles)
FreeTickets sold by meetup.com
Book · Freevia meetup.com
Add to calendar

Downloads an .ics file · Times are in America/Los_Angeles · Google Calendar

\\ PLEASE NOTE THAT WE ARE MEETING ON SUNDAY, NOT SATURDAY \\

Let's read Nils Anders Danielsson's Erased Postulates, Identity Types and Quotients (https://arxiv.org/pdf/2609.08578) as we continue puzzling over the nature of equality as expressed in programming languages.

We'll meet over Zoom and post the meeting URL here a few minutes before meeting start time.

More like this near San Francisco

True Character Men’s Conference 2026Fri 9 Oct · 5pm · Bible Teachers International
Human Performance, Capital & InnovationFri 9 Oct · 5pm · The Commonwealth Club
Hardware FYI: SF Tech Week EditionFri 9 Oct · 5pm · Dogpatch Studios
FREE: Happy Hour - San FranciscoFri 9 Oct · 5pm · Barebottle Beer Garden at Salesforce Park
Gordie Howe Bridge Walk then Bonfire meetupFri 9 Oct · 5:30pm · Gordie Howe Bridge
Ask Palaner

Going to Erased Postulates, Identity Types and? Ask me anything about it.

I read the organiser's pages and answer in a few seconds.

Answers are AI-generated · Privacy