<http://id.loc.gov/authorities/subjects/sh85074174> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85074174> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85074174> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Lambda calculus"@en . 
<http://id.loc.gov/authorities/subjects/sh85074174> <http://www.loc.gov/mads/rdf/v1#elementList> _:bnode7authoritiessubjectssh85074174 . 
_:bnode7authoritiessubjectssh85074174 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:bnode8authoritiessubjectssh85074174 . 
_:bnode7authoritiessubjectssh85074174 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> . 
_:bnode8authoritiessubjectssh85074174 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#TopicElement> . 
_:bnode8authoritiessubjectssh85074174 <http://www.loc.gov/mads/rdf/v1#elementValue> "Lambda calculus"@en . 
<http://id.loc.gov/authorities/subjects/sh85074174> <http://www.loc.gov/mads/rdf/v1#hasBroaderAuthority> <http://id.loc.gov/authorities/subjects/sh85078115> . 
<http://id.loc.gov/authorities/subjects/sh85074174> <http://www.loc.gov/mads/rdf/v1#hasExactExternalAuthority> <http://stitch.cs.vu.nl/vocabularies/rameau/ark:/12148/cb119586908> . 
<http://id.loc.gov/authorities/subjects/sh85074174> <http://www.loc.gov/mads/rdf/v1#hasCloseExternalAuthority> <http://d-nb.info/gnd/4166495-4> . 
<http://id.loc.gov/authorities/subjects/sh85074174> <http://www.loc.gov/mads/rdf/v1#hasCloseExternalAuthority> <http://d-nb.info/gnd/4270792-4> . 
<http://id.loc.gov/authorities/subjects/sh85074174> <http://www.loc.gov/mads/rdf/v1#classification> "QA9.5" . 
<http://id.loc.gov/authorities/subjects/sh85074174> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSCollection> <http://id.loc.gov/authorities/subjects/collection_LCSHAuthorizedHeadings> . 
<http://id.loc.gov/authorities/subjects/sh85074174> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSScheme> <http://id.loc.gov/authorities/subjects> . 
<http://id.loc.gov/authorities/subjects/sh85074174> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSCollection> <http://id.loc.gov/authorities/subjects/collection_LCSH_General> . 
<http://id.loc.gov/authorities/subjects/sh85074174> <http://www.loc.gov/mads/rdf/v1#hasVariant> _:bnode20authoritiessubjectssh85074174 . 
_:bnode20authoritiessubjectssh85074174 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
_:bnode20authoritiessubjectssh85074174 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Variant> . 
_:bnode20authoritiessubjectssh85074174 <http://www.loc.gov/mads/rdf/v1#variantLabel> "Calculus, Lambda"@en . 
_:bnode20authoritiessubjectssh85074174 <http://www.loc.gov/mads/rdf/v1#elementList> _:bnode25authoritiessubjectssh85074174 . 
_:bnode25authoritiessubjectssh85074174 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:bnode26authoritiessubjectssh85074174 . 
_:bnode25authoritiessubjectssh85074174 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> . 
_:bnode26authoritiessubjectssh85074174 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#TopicElement> . 
_:bnode26authoritiessubjectssh85074174 <http://www.loc.gov/mads/rdf/v1#elementValue> "Calculus, Lambda"@en . 
<http://id.loc.gov/authorities/subjects/sh85074174> <http://www.w3.org/2002/07/owl#sameAs> <info:lc/authorities/sh85074174> . 
<http://id.loc.gov/authorities/subjects/sh85074174> <http://www.w3.org/2002/07/owl#sameAs> <http://id.loc.gov/authorities/sh85074174#concept> . 
<http://id.loc.gov/authorities/subjects/sh85074174> <http://www.loc.gov/mads/rdf/v1#adminMetadata> _:bnode31authoritiessubjectssh85074174 . 
_:bnode31authoritiessubjectssh85074174 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/RecordInfo#RecordInfo> . 
_:bnode31authoritiessubjectssh85074174 <http://id.loc.gov/ontologies/RecordInfo#recordChangeDate> "1986-02-11T00:00:00"^^<http://www.w3.org/2001/XMLSchema#dateTime> . 
_:bnode31authoritiessubjectssh85074174 <http://id.loc.gov/ontologies/RecordInfo#recordStatus> "new"^^<http://www.w3.org/2001/XMLSchema#string> . 
_:bnode31authoritiessubjectssh85074174 <http://id.loc.gov/ontologies/RecordInfo#recordContentSource> <http://id.loc.gov/vocabulary/organizations/dlc> .