FRANCALANZA, Adrian, TABONE, Gerard und PFENNING, Frank, 2026. Grits: A message-passing programming language based on the semi-axiomatic sequent calculus. Science of Computer Programming. 1 März 2026. Vol. 248, , p. N.PAG-0. DOI 10.1016/j.scico.2025.103360.
Elsevier - Harvard (with titles)Francalanza, A., Tabone, G., Pfenning, F., 2026. Grits: A message-passing programming language based on the semi-axiomatic sequent calculus. Science of Computer Programming 248, N.PAG-0. https://doi.org/10.1016/j.scico.2025.103360
American Psychological Association 7th editionFrancalanza, A., Tabone, G., & Pfenning, F. (2026). Grits: A message-passing programming language based on the semi-axiomatic sequent calculus. Science of Computer Programming, 248, N.PAG-0. https://doi.org/10.1016/j.scico.2025.103360
Springer - Basic (author-date)Francalanza A, Tabone G, Pfenning F (2026) Grits: A message-passing programming language based on the semi-axiomatic sequent calculus.. Science of Computer Programming 248:N.PAG-0. https://doi.org/10.1016/j.scico.2025.103360
Juristische Zitierweise (Stüber) (Deutsch)Francalanza, Adrian/ Tabone, Gerard/ Pfenning, Frank, Grits: A message-passing programming language based on the semi-axiomatic sequent calculus., Science of Computer Programming 2026, N.PAG-0.