. . . . . "1941-06-14"^^ . . . . . . . . . . . . . . . . . . "1985"^^ . . . . . . . . . . . . . . . . . . "1941-06-14"^^ . "Carolyn Talcott in 2004"@en . . . . . . . . . . . . . . . "37323369"^^ . "Carolyn Talcott"@en . ""@en . . . . . . . . . . . . . . . . "1077024462"^^ . . . . . . . . . . "The Essence of RUM: A Theory of the Intensional and Extensional Aspects of LISP-Type Computation"@en . . . . . . . . "Carolyn Talcott (born June 14, 1941) is an American computer scientist known for work in formal reasoning, especially as it relates to computers, cryptanalysis and systems biology. She is currently the program director of the Symbolic Systems Biology group at SRI International. She is currently the co-editor-in-chief of Higher-Order and Symbolic Computation. Talcott married John McCarthy (computer scientist) and had a son."@en . . . . . . . . "5021"^^ . . . . . . . . . . . . . . . . . . . . . . . . ""@en . . . . "Carolyn Talcott"@en . . . . . . "Carolyn Talcott (born June 14, 1941) is an American computer scientist known for work in formal reasoning, especially as it relates to computers, cryptanalysis and systems biology. She is currently the program director of the Symbolic Systems Biology group at SRI International. She is currently the co-editor-in-chief of Higher-Order and Symbolic Computation. Talcott married John McCarthy (computer scientist) and had a son."@en . . ""@en . . . . . "Carolyn Talcott"@en .