Structural recursive definitions in type theory.

MLA

Goos, Gerhard, et al. “Structural Recursive Definitions in Type Theory.” Automata, Languages & Programming (9783540647812), 1998, pp. 397–408. EBSCOhost, https://doi.org/10.1007/BFb0055070.

APA

Goos, G., Hartmanis, J., Leeuwen, J., Larsen, K. G., Skyum, S., Winskel, G., & Giménez, E. (1998). Structural recursive definitions in type theory. In Automata, Languages & Programming (9783540647812) (pp. 397–408). https://doi.org/10.1007/BFb0055070

Chicago

Goos, Gerhard, Juris Hartmanis, Jan Leeuwen, Kim G. Larsen, Sven Skyum, Glynn Winskel, and Eduardo Giménez. 1998. “Structural Recursive Definitions in Type Theory.” In Automata, Languages & Programming (9783540647812), 397–408. doi:10.1007/BFb0055070.