Lawrence S. Moss

URI: https://gptkb.org/entity/Lawrence_S._Moss
GPTKB entity
Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:University_of_California,_Berkeley
gptkbp:birthYear 1962
gptkbp:doctoralAdvisor gptkb:Jon_Barwise
gptkbp:employer gptkb:Indiana_University
gptkbp:field gptkb:logic
gptkb:set_theory
recursion theory
coalgebra
https://www.w3.org/2000/01/rdf-schema#label Lawrence S. Moss
gptkbp:nationality gptkb:American
gptkbp:notableWork gptkb:Moss's_coalgebraic_logic
gptkbp:occupation gptkb:logic
gptkb:mathematician
gptkbp:bfsParent gptkb:Journal_of_Logic,_Language_and_Information
gptkbp:bfsLayer 5