by Gheorghiu, Alexander V, Pym, David J
Published in Bulletin of the Section of Logic (2023)

by Pym, David J., O'Hearn, Peter W., Yang, Hongseok
Published in Theoretical computer science (01.05.2004)

by Moore, Tyler, Ioannidis, Christos, Pym, David
Year of Publication 2010

by Gheorghiu, Alexander V., Pym, David J.
Published in Studia logica (01.08.2023)

by Eckhardt, Timo, Pym, David J
Year of Publication 24.01.2024

by Gheorghiu, Alexander V, Pym, David J
Year of Publication 05.01.2023

by Gheorghiu, Alexander V, Pym, David J
Year of Publication 05.01.2023

by Gheorghiu, Alexander V, Pym, David J
Year of Publication 11.10.2022

by Gheorghiu, Alexander V, Pym, David J
Year of Publication 11.10.2022

by Gheorghiu, Alexander V, Pym, David J
Year of Publication 11.10.2022

by Gheorghiu, Alexander V, Gu, Tao, Pym, David J
Year of Publication 10.05.2024

by Gheorghiu, Alexander V, Gu, Tao, Pym, David J
Year of Publication 11.03.2024

by Gheorghiu, Alexander V, Gu, Tao, Pym, David J
Year of Publication 14.02.2024

by Gu, Tao, Gheorghiu, Alexander V, Pym, David J
Year of Publication 28.11.2023

by Gheorghiu, Alexander V, Gu, Tao, Pym, David J
Year of Publication 08.06.2023

by Eckhardt, Timo, Pym, David J
Published in arXiv.org (12.02.2024)

by Gheorghiu, Alexander V, Pym, David J
Published in arXiv.org (12.09.2024)

by Gheorghiu, Alexander V, Pym, David J
Published in arXiv.org (19.10.2023)

by Gheorghiu, Alexander V, Pym, David J
Published in arXiv.org (28.03.2023)

by Gheorghiu, Alexander V, Pym, David J
Published in arXiv.org (27.03.2023)