Andrew G. Barber

According to our database, Andrew G. Barber authored at least 2 papers in 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1997

Linear type theories, semantics and action calculi.

Andrew G. Barber

PhD thesis, 1997

From Action Calculi to Linear Logic.

Andrew G. Barber, Philippa Gardner, Masahito Hasegawa, Gordon D. Plotkin

Proceedings of the Computer Science Logic, 11th International Workshop, 1997