Bibliography
Relating object systems to formulae of infinitary linear logic
Berndt Farwer.
Relating object systems to formulae of infinitary linear logic.
Talk given at the Third Seminar on Algebra, Logic, and Geometry in
Informatics (ALGI 3), Tokyo, 1996.
BibTeX
@unpublished{Farwer96,
Author = {Farwer, Berndt},
Note = {Talk given at the Third Seminar on Algebra, Logic, and Geometry in
Informatics (ALGI 3), Tokyo},
Title = {Relating object systems to formulae of infinitary linear logic},
Year = 1996
}
