## Homepages 🌐

- http://peteg.org

## E-Mails 📧

- moc.liamg @24getep

## Entries

### 2024

##### ConcurrentHOL

by Peter Gammie 📧
Apr 16

### 2020

##### Putting the `K' into Bird's derivation of Knuth-Morris-Pratt string matching

by Peter Gammie 🌐
Aug 25

### 2017

##### The Kuratowski Closure-Complement Theorem

by Peter Gammie 🌐 and Gianpaolo Gioiosa
Oct 26

### 2016

##### Stable Matching

by Peter Gammie 🌐
Oct 24

### 2015

##### The Stern-Brocot Tree

by Peter Gammie 🌐 and Andreas Lochbihler 🌐
Dec 22

##### The Tortoise and Hare Algorithm

by Peter Gammie 🌐
Nov 18

##### Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO

by Peter Gammie 🌐, Tony Hosking 🌐 and Kai Engelhardt
Apr 13

##### Concurrent IMP

by Peter Gammie 🌐
Apr 13

### 2012

##### Logical Relations for PCF

by Peter Gammie 📧
Jul 01

### 2011

##### Knowledge-based programs

by Peter Gammie 🌐
May 17

### 2009

##### The Worker/Wrapper Transformation

by Peter Gammie 🌐
Oct 30

### 2008

##### Some classical results in Social Choice Theory

by Peter Gammie 🌐
Nov 09