Peter A. Hines

Available identifiers

zbMath Open hines.peter-aMaRDI QIDQ1284472

List of research outcomes

Publication	Date of Publication	Type
On strictifying extensional reflexivity in compact closed categories	2024-10-01	Paper
On strict extensional reflexivity in compact closed categories	2022-02-16	Paper
From a conjecture of Collatz to Thompson's group F, via a conjunction of Girard	2022-02-09	Paper
A diagrammatic approach to information flow in encrypted communication (extended version)	2020-08-13	Paper
Girard's $!()$ as a reversible fixed-point operator	2013-09-02	Paper
On the minimum linear complexity of de Bruijn sequences over non-prime finite fields	2000-01-25	Paper
Characterising the linear complexity of span 1 de Bruijn sequences over finite fields.	1998-01-01	Paper

Research outcomes over time

This page was built for person: Peter A. Hines