pure type system (Q7261163)

From Wikidata
Jump to: navigation, search
No description defined
  • generalized type system
  • PTS
  • GTS
edit
Language Label Description Also known as
English
pure type system
No description defined
  • generalized type system
  • PTS
  • GTS

Statements

 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit